search

zxcalc / quantomatic

Quantomatic is a tool for doing automated graph rewriting.
http://quantomatic.github.io
152 stars 22 forks source link

UI and text scaling #158

Closed hmillerbakewell closed 6 years ago

hmillerbakewell commented 6 years ago

Scale text in all parts of the UI, i.e. menus and graphs, for high DPI screens, presentations, etc.

Note that this should include thickness of lines in graphs