comparison scripts/gethelp.cc @ 14588:fa52c6e84ae0 gui

Added controls and settings for changing the terminal font. MainWindow.cpp: Added logic to update terminal font and store settings persistently. SettingDialog.ui: Added controls to alter terminal font and size.
author "Israel Herraiz <israel.herraiz@upm.es>"
date Mon, 30 Apr 2012 19:38:24 -0700
parents 72c96de7a403
children
comparison
equal deleted inserted replaced
14587:12b60f3b1394 14588:fa52c6e84ae0