Petr Mrázek
ec4805cce8
Default console font tweaks
...
* Lucida Console on Windows
* Menlo on OSX
* Monospace (resolved to whatever Monospace means) on linux
* Added ability to select proportional fonts in settings
2014-11-10 06:26:17 +01:00
Petr Mrázek
24a0635b62
Allow changing the console font family
2014-11-09 19:48:35 +01:00
Petr Mrázek
547f6f77d0
Add iOS and OSX icon themes by pe
2014-10-27 00:15:52 +01:00
Petr Mrázek
8f7aec032b
Add dark, light, blue and colored theme from pe.
...
Replaces the old dark and light themes
2014-10-26 23:44:20 +01:00
Petr Mrázek
bc05ad30aa
Rework the settings dialog. Rework all of it. Thoroughly.
...
Also introduces the ColumnResizer from:
https://github.com/agateau/columnresizer/
2014-07-20 23:47:46 +02:00
