Skip to content

Change default fontsize

Jonathan Wilkes requested to merge change-default-fontsize into master

This fixes #503 (closed) with a quick hack to add "-font-size 12" to the default flags.

This way people used to the size 10 default can just go in and clear out the default on a new install, while their current settings-- where no font size is specified-- will work the same after an update.

Merge request reports