Commit 20cf0ea3 authored by Leander Schulten's avatar Leander Schulten

Modules Editor: Use more common Font. Make font size bigger. Use better values of the font metric

parent c89d21e7
Pipeline #274188 passed with stage
in 13 minutes and 54 seconds