Mercurial > octave-nkf

diff gui/src/SettingsDialog.ui @ 14588:fa52c6e84ae0 gui

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 3b6177bd63b0
children 97cb9286919c
line wrap: on
line diff
--- a/gui/src/SettingsDialog.ui	Wed May 02 21:43:03 2012 +0200
+++ b/gui/src/SettingsDialog.ui	Mon Apr 30 19:38:24 2012 -0700
@@ -237,6 +237,70 @@
        </item>
       </layout>
      </widget>
+     <widget class="QWidget" name="tab_5">
+      <attribute name="title">
+       <string>Terminal</string>
+      </attribute>
+      <widget class="QWidget" name="layoutWidget">
+       <property name="geometry">
+        <rect>
+         <x>10</x>
+         <y>10</y>
+         <width>436</width>
+         <height>22</height>
+        </rect>
+       </property>
+       <layout class="QHBoxLayout" name="horizontalLayout_5">
+        <item>
+         <widget class="QLabel" name="label_11">
+          <property name="text">
+           <string>Font</string>
+          </property>
+         </widget>
+        </item>
+        <item>
+         <widget class="QFontComboBox" name="terminal_fontName">
+          <property name="editable">
+           <bool>false</bool>
+          </property>
+         </widget>
+        </item>
+        <item>
+         <widget class="QLabel" name="label_12">
+          <property name="text">
+           <string>Font Size</string>
+          </property>
+         </widget>
+        </item>
+        <item>
+         <widget class="QSpinBox" name="terminal_fontSize">
+          <property name="minimum">
+           <number>2</number>
+          </property>
+          <property name="maximum">
+           <number>96</number>
+          </property>
+          <property name="value">
+           <number>10</number>
+          </property>
+         </widget>
+        </item>
+        <item>
+         <spacer name="horizontalSpacer_5">
+          <property name="orientation">
+           <enum>Qt::Horizontal</enum>
+          </property>
+          <property name="sizeHint" stdset="0">
+           <size>
+            <width>40</width>
+            <height>20</height>
+           </size>
+          </property>
+         </spacer>
+        </item>
+       </layout>
+      </widget>
+     </widget>
      <widget class="QWidget" name="tab_2">
       <attribute name="title">
        <string>File Browser</string>