This forum uses cookies
This forum makes use of cookies to store your login information if you are registered, and your last visit if you are not. Cookies are small text documents stored on your computer; the cookies set by this forum can only be used on this website and pose no security risk. Cookies on this forum also track the specific topics you have read and when you last read them. Please confirm whether you accept or reject these cookies being set.

A cookie will be stored in your browser regardless of choice to prevent you being asked this question again. You will be able to change your cookie settings at any time using the link in the footer.

[HELP] font gui
#1
how can I change fonts in the gui

misc.ini

[General]
  settingPath="./settings"
  fontSize=12
  toolTipFontSize=12

doesn't work
Reply
#2
[General]
settingPath="./settings"
fontSize=12
toolTipFontSize=12
should normally work. Current version just has a bug which should cause it to close on startup if the font size is changed.
Will send you a link to my current dev version to see if that helps.
(Note that the 'settingPath' option is only necessary if you want to move the settings folder.)

Cu Selur
Reply


Forum Jump:


Users browsing this thread: 1 Guest(s)