diff gui/src/MainWindow.h @ 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 df86157a4912
children 97cb9286919c
line wrap: on
line diff
--- a/gui/src/MainWindow.h	Wed May 02 21:43:03 2012 +0200
+++ b/gui/src/MainWindow.h	Mon Apr 30 19:38:24 2012 -0700
@@ -102,6 +102,7 @@
   void processSettingsDialogRequest ();
   void showAboutOctave ();
   void showAboutQt ();
+  void updateTerminalFont ();
 
 protected:
   void closeEvent (QCloseEvent * closeEvent);