Change the way window state config works. Initial workings of preferences window.
This commit is contained in:
Chris Jones
parent
68ade515eb
commit
4aa1b50fe6
|
|
@ -7,11 +7,6 @@
|
||||||
<!-- column-name Profile -->
|
<!-- column-name Profile -->
|
||||||
<column type="gchararray"/>
|
<column type="gchararray"/>
|
||||||
</columns>
|
</columns>
|
||||||
<data>
|
|
||||||
<row>
|
|
||||||
<col id="0" translatable="yes">Default</col>
|
|
||||||
</row>
|
|
||||||
</data>
|
|
||||||
</object>
|
</object>
|
||||||
<object class="GtkListStore" id="KeybindingsListStore">
|
<object class="GtkListStore" id="KeybindingsListStore">
|
||||||
<columns>
|
<columns>
|
||||||
|
|
@ -23,6 +18,97 @@
|
||||||
<column type="GtkCellRendererAccelMode"/>
|
<column type="GtkCellRendererAccelMode"/>
|
||||||
</columns>
|
</columns>
|
||||||
</object>
|
</object>
|
||||||
|
<object class="GtkListStore" id="FocusListStore">
|
||||||
|
<columns>
|
||||||
|
<!-- column-name focustype -->
|
||||||
|
<column type="gchararray"/>
|
||||||
|
</columns>
|
||||||
|
<data>
|
||||||
|
<row>
|
||||||
|
<col id="0" translatable="yes">System Default</col>
|
||||||
|
</row>
|
||||||
|
<row>
|
||||||
|
<col id="0" translatable="yes">Click to focus</col>
|
||||||
|
</row>
|
||||||
|
<row>
|
||||||
|
<col id="0" translatable="yes">Follow mouse pointer</col>
|
||||||
|
</row>
|
||||||
|
</data>
|
||||||
|
</object>
|
||||||
|
<object class="GtkListStore" id="WindowStateListStore">
|
||||||
|
<columns>
|
||||||
|
<!-- column-name state -->
|
||||||
|
<column type="gchararray"/>
|
||||||
|
</columns>
|
||||||
|
<data>
|
||||||
|
<row>
|
||||||
|
<col id="0" translatable="yes">Normal</col>
|
||||||
|
</row>
|
||||||
|
<row>
|
||||||
|
<col id="0" translatable="yes">Hidden</col>
|
||||||
|
</row>
|
||||||
|
<row>
|
||||||
|
<col id="0" translatable="yes">Maximised</col>
|
||||||
|
</row>
|
||||||
|
<row>
|
||||||
|
<col id="0" translatable="yes">Fullscreen</col>
|
||||||
|
</row>
|
||||||
|
</data>
|
||||||
|
</object>
|
||||||
|
<object class="GtkListStore" id="TabPositionListStore">
|
||||||
|
<columns>
|
||||||
|
<!-- column-name position -->
|
||||||
|
<column type="gchararray"/>
|
||||||
|
</columns>
|
||||||
|
<data>
|
||||||
|
<row>
|
||||||
|
<col id="0" translatable="yes">Top</col>
|
||||||
|
</row>
|
||||||
|
<row>
|
||||||
|
<col id="0" translatable="yes">Bottom</col>
|
||||||
|
</row>
|
||||||
|
<row>
|
||||||
|
<col id="0" translatable="yes">Left</col>
|
||||||
|
</row>
|
||||||
|
<row>
|
||||||
|
<col id="0" translatable="yes">Right</col>
|
||||||
|
</row>
|
||||||
|
</data>
|
||||||
|
</object>
|
||||||
|
<object class="GtkListStore" id="CursorShapeListStore">
|
||||||
|
<columns>
|
||||||
|
<!-- column-name Shape -->
|
||||||
|
<column type="gchararray"/>
|
||||||
|
</columns>
|
||||||
|
<data>
|
||||||
|
<row>
|
||||||
|
<col id="0" translatable="yes">Block</col>
|
||||||
|
</row>
|
||||||
|
<row>
|
||||||
|
<col id="0" translatable="yes">Underline</col>
|
||||||
|
</row>
|
||||||
|
<row>
|
||||||
|
<col id="0" translatable="yes">I-Beam</col>
|
||||||
|
</row>
|
||||||
|
</data>
|
||||||
|
</object>
|
||||||
|
<object class="GtkListStore" id="ChildExitedListStore">
|
||||||
|
<columns>
|
||||||
|
<!-- column-name ExitOption -->
|
||||||
|
<column type="gchararray"/>
|
||||||
|
</columns>
|
||||||
|
<data>
|
||||||
|
<row>
|
||||||
|
<col id="0" translatable="yes">Exit the terminal</col>
|
||||||
|
</row>
|
||||||
|
<row>
|
||||||
|
<col id="0" translatable="yes">Restart the command</col>
|
||||||
|
</row>
|
||||||
|
<row>
|
||||||
|
<col id="0" translatable="yes">Hold the terminal open</col>
|
||||||
|
</row>
|
||||||
|
</data>
|
||||||
|
</object>
|
||||||
<object class="GtkDialog" id="prefswin">
|
<object class="GtkDialog" id="prefswin">
|
||||||
<property name="border_width">5</property>
|
<property name="border_width">5</property>
|
||||||
<property name="type_hint">normal</property>
|
<property name="type_hint">normal</property>
|
||||||
|
|
@ -44,6 +130,14 @@
|
||||||
<child>
|
<child>
|
||||||
<object class="GtkComboBox" id="focuscombo">
|
<object class="GtkComboBox" id="focuscombo">
|
||||||
<property name="visible">True</property>
|
<property name="visible">True</property>
|
||||||
|
<property name="model">FocusListStore</property>
|
||||||
|
<property name="active">0</property>
|
||||||
|
<child>
|
||||||
|
<object class="GtkCellRendererText" id="focuscell"/>
|
||||||
|
<attributes>
|
||||||
|
<attribute name="text">0</attribute>
|
||||||
|
</attributes>
|
||||||
|
</child>
|
||||||
</object>
|
</object>
|
||||||
<packing>
|
<packing>
|
||||||
<property name="left_attach">1</property>
|
<property name="left_attach">1</property>
|
||||||
|
|
@ -78,6 +172,7 @@
|
||||||
<object class="GtkHScale" id="handlesize">
|
<object class="GtkHScale" id="handlesize">
|
||||||
<property name="visible">True</property>
|
<property name="visible">True</property>
|
||||||
<property name="can_focus">True</property>
|
<property name="can_focus">True</property>
|
||||||
|
<property name="adjustment">adjustment1</property>
|
||||||
<property name="digits">0</property>
|
<property name="digits">0</property>
|
||||||
<property name="value_pos">left</property>
|
<property name="value_pos">left</property>
|
||||||
</object>
|
</object>
|
||||||
|
|
@ -134,6 +229,14 @@
|
||||||
<child>
|
<child>
|
||||||
<object class="GtkComboBox" id="winstatecombo">
|
<object class="GtkComboBox" id="winstatecombo">
|
||||||
<property name="visible">True</property>
|
<property name="visible">True</property>
|
||||||
|
<property name="model">WindowStateListStore</property>
|
||||||
|
<property name="active">0</property>
|
||||||
|
<child>
|
||||||
|
<object class="GtkCellRendererText" id="cellrenderertext1"/>
|
||||||
|
<attributes>
|
||||||
|
<attribute name="text">0</attribute>
|
||||||
|
</attributes>
|
||||||
|
</child>
|
||||||
</object>
|
</object>
|
||||||
<packing>
|
<packing>
|
||||||
<property name="left_attach">1</property>
|
<property name="left_attach">1</property>
|
||||||
|
|
@ -188,6 +291,14 @@
|
||||||
<child>
|
<child>
|
||||||
<object class="GtkComboBox" id="tabposcombo">
|
<object class="GtkComboBox" id="tabposcombo">
|
||||||
<property name="visible">True</property>
|
<property name="visible">True</property>
|
||||||
|
<property name="model">TabPositionListStore</property>
|
||||||
|
<property name="active">0</property>
|
||||||
|
<child>
|
||||||
|
<object class="GtkCellRendererText" id="cellrenderertext2"/>
|
||||||
|
<attributes>
|
||||||
|
<attribute name="text">0</attribute>
|
||||||
|
</attributes>
|
||||||
|
</child>
|
||||||
</object>
|
</object>
|
||||||
<packing>
|
<packing>
|
||||||
<property name="left_attach">1</property>
|
<property name="left_attach">1</property>
|
||||||
|
|
@ -213,13 +324,82 @@
|
||||||
<object class="GtkHBox" id="hbox1">
|
<object class="GtkHBox" id="hbox1">
|
||||||
<property name="visible">True</property>
|
<property name="visible">True</property>
|
||||||
<child>
|
<child>
|
||||||
<object class="GtkTreeView" id="treeview1">
|
<object class="GtkVBox" id="vbox1">
|
||||||
<property name="visible">True</property>
|
<property name="visible">True</property>
|
||||||
<property name="can_focus">True</property>
|
<property name="orientation">vertical</property>
|
||||||
<property name="model">ProfilesListStore</property>
|
<child>
|
||||||
|
<object class="GtkTreeView" id="profilelist">
|
||||||
|
<property name="visible">True</property>
|
||||||
|
<property name="can_focus">True</property>
|
||||||
|
<property name="model">ProfilesListStore</property>
|
||||||
|
<property name="hadjustment">adjustment2</property>
|
||||||
|
<property name="vadjustment">adjustment3</property>
|
||||||
|
<property name="headers_clickable">False</property>
|
||||||
|
<property name="search_column">0</property>
|
||||||
|
<child>
|
||||||
|
<object class="GtkTreeViewColumn" id="profilecolumn">
|
||||||
|
<property name="title">Profile</property>
|
||||||
|
<property name="clickable">True</property>
|
||||||
|
<child>
|
||||||
|
<object class="GtkCellRendererText" id="cellrenderertext3">
|
||||||
|
<property name="editable">True</property>
|
||||||
|
<signal name="edited" handler="on_profile_name_edited"/>
|
||||||
|
</object>
|
||||||
|
<attributes>
|
||||||
|
<attribute name="text">0</attribute>
|
||||||
|
</attributes>
|
||||||
|
</child>
|
||||||
|
</object>
|
||||||
|
</child>
|
||||||
|
</object>
|
||||||
|
<packing>
|
||||||
|
<property name="position">0</property>
|
||||||
|
</packing>
|
||||||
|
</child>
|
||||||
|
<child>
|
||||||
|
<object class="GtkHBox" id="hbox3">
|
||||||
|
<property name="visible">True</property>
|
||||||
|
<child>
|
||||||
|
<placeholder/>
|
||||||
|
</child>
|
||||||
|
<child>
|
||||||
|
<object class="GtkButton" id="profileaddbutton">
|
||||||
|
<property name="label">gtk-add</property>
|
||||||
|
<property name="visible">True</property>
|
||||||
|
<property name="can_focus">True</property>
|
||||||
|
<property name="receives_default">True</property>
|
||||||
|
<property name="use_stock">True</property>
|
||||||
|
<signal name="clicked" handler="on_profileaddbutton_clicked"/>
|
||||||
|
</object>
|
||||||
|
<packing>
|
||||||
|
<property name="expand">False</property>
|
||||||
|
<property name="fill">False</property>
|
||||||
|
<property name="position">1</property>
|
||||||
|
</packing>
|
||||||
|
</child>
|
||||||
|
<child>
|
||||||
|
<object class="GtkButton" id="profileremovebutton">
|
||||||
|
<property name="label">gtk-remove</property>
|
||||||
|
<property name="visible">True</property>
|
||||||
|
<property name="can_focus">True</property>
|
||||||
|
<property name="receives_default">True</property>
|
||||||
|
<property name="use_stock">True</property>
|
||||||
|
<signal name="clicked" handler="on_profileremovebutton_clicked"/>
|
||||||
|
</object>
|
||||||
|
<packing>
|
||||||
|
<property name="expand">False</property>
|
||||||
|
<property name="fill">False</property>
|
||||||
|
<property name="position">2</property>
|
||||||
|
</packing>
|
||||||
|
</child>
|
||||||
|
</object>
|
||||||
|
<packing>
|
||||||
|
<property name="expand">False</property>
|
||||||
|
<property name="position">1</property>
|
||||||
|
</packing>
|
||||||
|
</child>
|
||||||
</object>
|
</object>
|
||||||
<packing>
|
<packing>
|
||||||
<property name="expand">False</property>
|
|
||||||
<property name="position">0</property>
|
<property name="position">0</property>
|
||||||
</packing>
|
</packing>
|
||||||
</child>
|
</child>
|
||||||
|
|
@ -234,43 +414,6 @@
|
||||||
<property name="border_width">12</property>
|
<property name="border_width">12</property>
|
||||||
<property name="orientation">vertical</property>
|
<property name="orientation">vertical</property>
|
||||||
<property name="spacing">6</property>
|
<property name="spacing">6</property>
|
||||||
<child>
|
|
||||||
<object class="GtkHBox" id="hbox135">
|
|
||||||
<property name="visible">True</property>
|
|
||||||
<property name="spacing">12</property>
|
|
||||||
<child>
|
|
||||||
<object class="GtkLabel" id="profile-name-label">
|
|
||||||
<property name="visible">True</property>
|
|
||||||
<property name="xalign">0</property>
|
|
||||||
<property name="xpad">4</property>
|
|
||||||
<property name="label" translatable="yes">_Profile name:</property>
|
|
||||||
<property name="use_underline">True</property>
|
|
||||||
<property name="justify">center</property>
|
|
||||||
<property name="mnemonic_widget">profile-name-entry</property>
|
|
||||||
</object>
|
|
||||||
<packing>
|
|
||||||
<property name="expand">False</property>
|
|
||||||
<property name="fill">False</property>
|
|
||||||
<property name="position">0</property>
|
|
||||||
</packing>
|
|
||||||
</child>
|
|
||||||
<child>
|
|
||||||
<object class="GtkEntry" id="profile-name-entry">
|
|
||||||
<property name="visible">True</property>
|
|
||||||
<property name="can_focus">True</property>
|
|
||||||
<property name="invisible_char">•</property>
|
|
||||||
</object>
|
|
||||||
<packing>
|
|
||||||
<property name="position">1</property>
|
|
||||||
</packing>
|
|
||||||
</child>
|
|
||||||
</object>
|
|
||||||
<packing>
|
|
||||||
<property name="expand">False</property>
|
|
||||||
<property name="fill">False</property>
|
|
||||||
<property name="position">0</property>
|
|
||||||
</packing>
|
|
||||||
</child>
|
|
||||||
<child>
|
<child>
|
||||||
<object class="GtkCheckButton" id="system-font-checkbutton">
|
<object class="GtkCheckButton" id="system-font-checkbutton">
|
||||||
<property name="label" translatable="yes">_Use the system fixed width font</property>
|
<property name="label" translatable="yes">_Use the system fixed width font</property>
|
||||||
|
|
@ -283,7 +426,7 @@
|
||||||
<packing>
|
<packing>
|
||||||
<property name="expand">False</property>
|
<property name="expand">False</property>
|
||||||
<property name="fill">False</property>
|
<property name="fill">False</property>
|
||||||
<property name="position">1</property>
|
<property name="position">0</property>
|
||||||
</packing>
|
</packing>
|
||||||
</child>
|
</child>
|
||||||
<child>
|
<child>
|
||||||
|
|
@ -330,7 +473,7 @@
|
||||||
<packing>
|
<packing>
|
||||||
<property name="expand">False</property>
|
<property name="expand">False</property>
|
||||||
<property name="fill">False</property>
|
<property name="fill">False</property>
|
||||||
<property name="position">2</property>
|
<property name="position">1</property>
|
||||||
</packing>
|
</packing>
|
||||||
</child>
|
</child>
|
||||||
<child>
|
<child>
|
||||||
|
|
@ -345,7 +488,7 @@
|
||||||
<packing>
|
<packing>
|
||||||
<property name="expand">False</property>
|
<property name="expand">False</property>
|
||||||
<property name="fill">False</property>
|
<property name="fill">False</property>
|
||||||
<property name="position">3</property>
|
<property name="position">2</property>
|
||||||
</packing>
|
</packing>
|
||||||
</child>
|
</child>
|
||||||
<child>
|
<child>
|
||||||
|
|
@ -360,7 +503,7 @@
|
||||||
<packing>
|
<packing>
|
||||||
<property name="expand">False</property>
|
<property name="expand">False</property>
|
||||||
<property name="fill">False</property>
|
<property name="fill">False</property>
|
||||||
<property name="position">4</property>
|
<property name="position">3</property>
|
||||||
</packing>
|
</packing>
|
||||||
</child>
|
</child>
|
||||||
<child>
|
<child>
|
||||||
|
|
@ -375,7 +518,7 @@
|
||||||
<packing>
|
<packing>
|
||||||
<property name="expand">False</property>
|
<property name="expand">False</property>
|
||||||
<property name="fill">False</property>
|
<property name="fill">False</property>
|
||||||
<property name="position">5</property>
|
<property name="position">4</property>
|
||||||
</packing>
|
</packing>
|
||||||
</child>
|
</child>
|
||||||
<child>
|
<child>
|
||||||
|
|
@ -398,6 +541,14 @@
|
||||||
<child>
|
<child>
|
||||||
<object class="GtkComboBox" id="cursor-shape-combobox">
|
<object class="GtkComboBox" id="cursor-shape-combobox">
|
||||||
<property name="visible">True</property>
|
<property name="visible">True</property>
|
||||||
|
<property name="model">CursorShapeListStore</property>
|
||||||
|
<property name="active">0</property>
|
||||||
|
<child>
|
||||||
|
<object class="GtkCellRendererText" id="cellrenderertext4"/>
|
||||||
|
<attributes>
|
||||||
|
<attribute name="text">0</attribute>
|
||||||
|
</attributes>
|
||||||
|
</child>
|
||||||
</object>
|
</object>
|
||||||
<packing>
|
<packing>
|
||||||
<property name="expand">False</property>
|
<property name="expand">False</property>
|
||||||
|
|
@ -407,7 +558,7 @@
|
||||||
</object>
|
</object>
|
||||||
<packing>
|
<packing>
|
||||||
<property name="expand">False</property>
|
<property name="expand">False</property>
|
||||||
<property name="position">6</property>
|
<property name="position">5</property>
|
||||||
</packing>
|
</packing>
|
||||||
</child>
|
</child>
|
||||||
<child>
|
<child>
|
||||||
|
|
@ -442,7 +593,7 @@
|
||||||
</object>
|
</object>
|
||||||
<packing>
|
<packing>
|
||||||
<property name="expand">False</property>
|
<property name="expand">False</property>
|
||||||
<property name="position">7</property>
|
<property name="position">6</property>
|
||||||
</packing>
|
</packing>
|
||||||
</child>
|
</child>
|
||||||
</object>
|
</object>
|
||||||
|
|
@ -487,71 +638,29 @@
|
||||||
<property name="visible">True</property>
|
<property name="visible">True</property>
|
||||||
<property name="left_padding">12</property>
|
<property name="left_padding">12</property>
|
||||||
<child>
|
<child>
|
||||||
<object class="GtkVBox" id="vbox93">
|
<object class="GtkHBox" id="hbox137">
|
||||||
<property name="visible">True</property>
|
<property name="visible">True</property>
|
||||||
<property name="orientation">vertical</property>
|
<property name="spacing">12</property>
|
||||||
<property name="spacing">6</property>
|
|
||||||
<child>
|
<child>
|
||||||
<object class="GtkHBox" id="hbox137">
|
<object class="GtkLabel" id="title-entry-label">
|
||||||
<property name="visible">True</property>
|
<property name="visible">True</property>
|
||||||
<property name="spacing">12</property>
|
<property name="xalign">0</property>
|
||||||
<child>
|
<property name="label" translatable="yes">Initial _title:</property>
|
||||||
<object class="GtkLabel" id="title-entry-label">
|
<property name="use_underline">True</property>
|
||||||
<property name="visible">True</property>
|
<property name="justify">center</property>
|
||||||
<property name="xalign">0</property>
|
<property name="mnemonic_widget">title-entry</property>
|
||||||
<property name="label" translatable="yes">Initial _title:</property>
|
|
||||||
<property name="use_underline">True</property>
|
|
||||||
<property name="justify">center</property>
|
|
||||||
<property name="mnemonic_widget">title-entry</property>
|
|
||||||
</object>
|
|
||||||
<packing>
|
|
||||||
<property name="expand">False</property>
|
|
||||||
<property name="fill">False</property>
|
|
||||||
<property name="position">0</property>
|
|
||||||
</packing>
|
|
||||||
</child>
|
|
||||||
<child>
|
|
||||||
<object class="GtkEntry" id="title-entry">
|
|
||||||
<property name="visible">True</property>
|
|
||||||
<property name="can_focus">True</property>
|
|
||||||
<property name="invisible_char">•</property>
|
|
||||||
</object>
|
|
||||||
<packing>
|
|
||||||
<property name="position">1</property>
|
|
||||||
</packing>
|
|
||||||
</child>
|
|
||||||
</object>
|
</object>
|
||||||
<packing>
|
<packing>
|
||||||
|
<property name="expand">False</property>
|
||||||
|
<property name="fill">False</property>
|
||||||
<property name="position">0</property>
|
<property name="position">0</property>
|
||||||
</packing>
|
</packing>
|
||||||
</child>
|
</child>
|
||||||
<child>
|
<child>
|
||||||
<object class="GtkHBox" id="hbox138">
|
<object class="GtkEntry" id="title-entry">
|
||||||
<property name="visible">True</property>
|
<property name="visible">True</property>
|
||||||
<property name="spacing">12</property>
|
<property name="can_focus">True</property>
|
||||||
<child>
|
<property name="invisible_char">•</property>
|
||||||
<object class="GtkLabel" id="title-mode-combobox-label">
|
|
||||||
<property name="visible">True</property>
|
|
||||||
<property name="xalign">0</property>
|
|
||||||
<property name="label" translatable="yes">When terminal commands set their o_wn titles:</property>
|
|
||||||
<property name="use_underline">True</property>
|
|
||||||
<property name="justify">center</property>
|
|
||||||
<property name="mnemonic_widget">title-mode-combobox</property>
|
|
||||||
</object>
|
|
||||||
<packing>
|
|
||||||
<property name="expand">False</property>
|
|
||||||
<property name="fill">False</property>
|
|
||||||
<property name="position">0</property>
|
|
||||||
</packing>
|
|
||||||
</child>
|
|
||||||
<child>
|
|
||||||
<object class="GtkComboBox" id="title-mode-combobox">
|
|
||||||
<property name="visible">True</property>
|
|
||||||
</object>
|
|
||||||
<packing>
|
|
||||||
<property name="position">1</property>
|
|
||||||
</packing>
|
|
||||||
</child>
|
|
||||||
</object>
|
</object>
|
||||||
<packing>
|
<packing>
|
||||||
<property name="position">1</property>
|
<property name="position">1</property>
|
||||||
|
|
@ -710,6 +819,14 @@
|
||||||
<child>
|
<child>
|
||||||
<object class="GtkComboBox" id="exit-action-combobox">
|
<object class="GtkComboBox" id="exit-action-combobox">
|
||||||
<property name="visible">True</property>
|
<property name="visible">True</property>
|
||||||
|
<property name="model">ChildExitedListStore</property>
|
||||||
|
<property name="active">0</property>
|
||||||
|
<child>
|
||||||
|
<object class="GtkCellRendererText" id="cellrenderertext5"/>
|
||||||
|
<attributes>
|
||||||
|
<attribute name="text">0</attribute>
|
||||||
|
</attributes>
|
||||||
|
</child>
|
||||||
</object>
|
</object>
|
||||||
<packing>
|
<packing>
|
||||||
<property name="position">1</property>
|
<property name="position">1</property>
|
||||||
|
|
@ -1955,4 +2072,24 @@
|
||||||
<action-widget response="0">button2</action-widget>
|
<action-widget response="0">button2</action-widget>
|
||||||
</action-widgets>
|
</action-widgets>
|
||||||
</object>
|
</object>
|
||||||
|
<object class="GtkAdjustment" id="adjustment1">
|
||||||
|
<property name="value">-1</property>
|
||||||
|
<property name="lower">-1</property>
|
||||||
|
<property name="upper">5</property>
|
||||||
|
<property name="step_increment">1</property>
|
||||||
|
<property name="page_increment">2</property>
|
||||||
|
<property name="page_size">2</property>
|
||||||
|
</object>
|
||||||
|
<object class="GtkAdjustment" id="adjustment2">
|
||||||
|
<property name="upper">100</property>
|
||||||
|
<property name="step_increment">1</property>
|
||||||
|
<property name="page_increment">10</property>
|
||||||
|
<property name="page_size">10</property>
|
||||||
|
</object>
|
||||||
|
<object class="GtkAdjustment" id="adjustment3">
|
||||||
|
<property name="upper">100</property>
|
||||||
|
<property name="step_increment">1</property>
|
||||||
|
<property name="page_increment">10</property>
|
||||||
|
<property name="page_size">10</property>
|
||||||
|
</object>
|
||||||
</interface>
|
</interface>
|
||||||
|
|
|
||||||
|
|
@ -35,7 +35,7 @@ Classes relating to configuration
|
||||||
'click'
|
'click'
|
||||||
>>> config['focus']
|
>>> config['focus']
|
||||||
'click'
|
'click'
|
||||||
>>> config['fullscreen'].__class__.__name__
|
>>> config['geometry_hinting'].__class__.__name__
|
||||||
'bool'
|
'bool'
|
||||||
>>> plugintest = {}
|
>>> plugintest = {}
|
||||||
>>> plugintest['foo'] = 'bar'
|
>>> plugintest['foo'] = 'bar'
|
||||||
|
|
@ -64,10 +64,8 @@ DEFAULTS = {
|
||||||
'enable_real_transparency' : True,
|
'enable_real_transparency' : True,
|
||||||
'handle_size' : -1,
|
'handle_size' : -1,
|
||||||
'geometry_hinting' : True,
|
'geometry_hinting' : True,
|
||||||
'fullscreen' : False,
|
'window_state' : 'normal',
|
||||||
'borderless' : False,
|
'borderless' : False,
|
||||||
'maximise' : False,
|
|
||||||
'hidden' : False,
|
|
||||||
'tab_position' : 'top',
|
'tab_position' : 'top',
|
||||||
'close_button_on_tab' : True,
|
'close_button_on_tab' : True,
|
||||||
'hide_tabbar' : False,
|
'hide_tabbar' : False,
|
||||||
|
|
@ -220,6 +218,12 @@ class Config(object):
|
||||||
if self.base.profiles.has_key(profile):
|
if self.base.profiles.has_key(profile):
|
||||||
del(self.base.profiles[profile])
|
del(self.base.profiles[profile])
|
||||||
|
|
||||||
|
def rename_profile(self, profile, newname):
|
||||||
|
"""Rename a profile"""
|
||||||
|
if self.base.profiles.has_key(profile):
|
||||||
|
self.base.profiles[newname] = self.base.profiles[profile]
|
||||||
|
del(self.base.profiles[profile])
|
||||||
|
|
||||||
def list_profiles(self):
|
def list_profiles(self):
|
||||||
"""List all configured profiles"""
|
"""List all configured profiles"""
|
||||||
return(self.base.profiles.keys())
|
return(self.base.profiles.keys())
|
||||||
|
|
|
||||||
|
|
@ -92,16 +92,16 @@ WM_WINDOW_ROLE property on the window')
|
||||||
sys.exit(1)
|
sys.exit(1)
|
||||||
|
|
||||||
if options.maximise:
|
if options.maximise:
|
||||||
configobj['maximise'] = True
|
configobj['window_state'] = 'maximise'
|
||||||
|
|
||||||
if options.fullscreen:
|
if options.fullscreen:
|
||||||
configobj['fullscreen'] = True
|
configobj['window_state'] = 'fullscreen'
|
||||||
|
|
||||||
if options.borderless:
|
if options.borderless:
|
||||||
configobj['borderless'] = True
|
configobj['borderless'] = True
|
||||||
|
|
||||||
if options.hidden:
|
if options.hidden:
|
||||||
configobj['hidden'] = True
|
configobj['window_state'] = 'hidden'
|
||||||
|
|
||||||
# FIXME: Map all the other bits of options to configobj
|
# FIXME: Map all the other bits of options to configobj
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -10,13 +10,6 @@ from version import APP_NAME, APP_VERSION
|
||||||
from translation import _
|
from translation import _
|
||||||
|
|
||||||
class PrefsEditor:
|
class PrefsEditor:
|
||||||
# lists of which settings to put in which tabs
|
|
||||||
appearance = ['titlebars', 'zoomedtitlebar', 'allow_bold', 'audible_bell', 'visible_bell', 'urgent_bell', 'force_no_bell', 'background_darkness', 'background_type', 'background_image', 'cursor_blink', 'cursor_shape', 'font', 'scrollbar_position', 'scroll_background', 'use_system_font', 'use_theme_colors', 'enable_real_transparency']
|
|
||||||
colours = ['foreground_color','background_color', 'cursor_color', 'palette', 'title_tx_txt_color', 'title_tx_bg_color', 'title_rx_txt_color', 'title_rx_bg_color', 'title_ia_txt_color', 'title_ia_bg_color']
|
|
||||||
behaviour = ['backspace_binding', 'delete_binding', 'emulation', 'scroll_on_keystroke', 'scroll_on_output', 'alternate_screen_scroll', 'scrollback_lines', 'focus', 'focus_on_close', 'exit_action', 'word_chars', 'mouse_autohide', 'use_custom_command', 'custom_command', 'http_proxy', 'encoding']
|
|
||||||
globals = ['fullscreen', 'maximise', 'borderless', 'handle_size', 'cycle_term_tab', 'close_button_on_tab', 'tab_position', 'copy_on_selection', 'try_posix_regexp']
|
|
||||||
|
|
||||||
# metadata about the settings
|
|
||||||
data = {'titlebars': ['Show titlebars', 'This places a bar above each terminal which displays its title.'],
|
data = {'titlebars': ['Show titlebars', 'This places a bar above each terminal which displays its title.'],
|
||||||
'zoomedtitlebar': ['Show titlebar when zoomed', 'This places an informative bar above a zoomed terminal to indicate there are hidden terminals.'],
|
'zoomedtitlebar': ['Show titlebar when zoomed', 'This places an informative bar above a zoomed terminal to indicate there are hidden terminals.'],
|
||||||
'allow_bold': ['Allow bold text', 'Controls whether or not the terminals will honour requests for bold text'],
|
'allow_bold': ['Allow bold text', 'Controls whether or not the terminals will honour requests for bold text'],
|
||||||
|
|
@ -50,49 +43,135 @@ class PrefsEditor:
|
||||||
'title_ia_bg_color': ['Inactive Title Background Color', ''],
|
'title_ia_bg_color': ['Inactive Title Background Color', ''],
|
||||||
}
|
}
|
||||||
|
|
||||||
# dictionary for results after setting
|
|
||||||
widgets = {}
|
|
||||||
|
|
||||||
# combobox settings
|
|
||||||
scrollbar_position = ['left', 'right', 'disabled']
|
|
||||||
backspace_del_binding = ['ascii-del', 'control-h', 'escape-sequence', 'delete-sequence']
|
|
||||||
focus = ['click', 'sloppy', 'mouse']
|
|
||||||
background_type = ['solid', 'image', 'transparent']
|
|
||||||
tab_position = ['top', 'bottom', 'left', 'right']
|
|
||||||
tab_position_gtk = {'top' : gtk.POS_TOP, 'bottom' : gtk.POS_BOTTOM, 'left' : gtk.POS_LEFT, 'right' : gtk.POS_RIGHT}
|
|
||||||
cursor_shape = ['block', 'ibeam', 'underline']
|
|
||||||
|
|
||||||
config = None
|
config = None
|
||||||
|
|
||||||
def __init__ (self, term):
|
def __init__ (self, term):
|
||||||
self.config = config.Config()
|
self.config = config.Config()
|
||||||
self.term = term
|
self.term = term
|
||||||
self.window = gtk.Window ()
|
self.builder = gtk.Builder()
|
||||||
self.notebook = gtk.Notebook()
|
try:
|
||||||
self.box = gtk.VBox()
|
gladefile = open('/home/cmsj/code/personal/terminator/branches/epicrefactor/data/preferences.glade', 'r')
|
||||||
|
gladedata = gladefile.read()
|
||||||
self.butbox = gtk.HButtonBox()
|
except Exception, ex:
|
||||||
self.applybut = gtk.Button(stock=gtk.STOCK_APPLY)
|
print "Failed to find preferences.glade"
|
||||||
self.applybut.connect ("clicked", self.apply)
|
print ex
|
||||||
self.cancelbut = gtk.Button(stock=gtk.STOCK_CLOSE)
|
return
|
||||||
self.cancelbut.connect ("clicked", self.cancel)
|
|
||||||
|
|
||||||
self.box.pack_start(self.notebook, False, False)
|
|
||||||
self.box.pack_end(self.butbox, False, False)
|
|
||||||
|
|
||||||
self.butbox.set_layout(gtk.BUTTONBOX_END)
|
|
||||||
self.butbox.pack_start(self.applybut, False, False)
|
|
||||||
self.butbox.pack_start(self.cancelbut, False, False)
|
|
||||||
self.window.add (self.box)
|
|
||||||
|
|
||||||
self.notebook.append_page (self.auto_add (gtk.Table (), self.globals), gtk.Label ("Global Settings"))
|
|
||||||
self.notebook.append_page (self.prepare_keybindings (), gtk.Label ("Keybindings"))
|
|
||||||
self.notebook.append_page (self.auto_add (gtk.Table (), self.appearance), gtk.Label ("Appearance"))
|
|
||||||
self.notebook.append_page (self.auto_add (gtk.Table (), self.colours), gtk.Label ("Colours"))
|
|
||||||
self.notebook.append_page (self.auto_add (gtk.Table (), self.behaviour), gtk.Label ("Behaviour"))
|
|
||||||
|
|
||||||
|
self.builder.add_from_string(gladedata)
|
||||||
|
self.window = self.builder.get_object('prefswin')
|
||||||
|
self.set_values()
|
||||||
|
self.builder.connect_signals(self)
|
||||||
self.window.show_all()
|
self.window.show_all()
|
||||||
|
|
||||||
|
def set_values(self):
|
||||||
|
"""Update the preferences window with all the configuration from
|
||||||
|
Config()"""
|
||||||
|
guiget = self.builder.get_object
|
||||||
|
|
||||||
|
print "SETTING VALUES"
|
||||||
|
|
||||||
|
## Global tab
|
||||||
|
|
||||||
|
# Mouse focus
|
||||||
|
# default is 'system', which == 0
|
||||||
|
focus = self.config['focus']
|
||||||
|
active = 0
|
||||||
|
if focus == 'click':
|
||||||
|
active = 1
|
||||||
|
elif focus == 'sloppy':
|
||||||
|
active = 2
|
||||||
|
widget = guiget('focuscombo')
|
||||||
|
widget.set_active(active)
|
||||||
|
|
||||||
|
# Terminal separator size
|
||||||
|
# default is -1
|
||||||
|
termsepsize = self.config['handle_size']
|
||||||
|
widget = guiget('handlesize')
|
||||||
|
widget.set_value(termsepsize)
|
||||||
|
|
||||||
|
# Window geometry hints
|
||||||
|
# default is True
|
||||||
|
geomhint = self.config['geometry_hinting']
|
||||||
|
widget = guiget('wingeomcheck')
|
||||||
|
widget.set_active(geomhint)
|
||||||
|
|
||||||
|
# Window state
|
||||||
|
# default is not maximised, not fullscreen
|
||||||
|
option = self.config['window_state']
|
||||||
|
if option == 'hidden':
|
||||||
|
active = 1
|
||||||
|
elif option == 'maximise':
|
||||||
|
active = 2
|
||||||
|
elif option == 'fullscreen':
|
||||||
|
active = 3
|
||||||
|
else:
|
||||||
|
active = 0
|
||||||
|
widget = guiget('winstatecombo')
|
||||||
|
widget.set_active(active)
|
||||||
|
|
||||||
|
# Window borders
|
||||||
|
# default is True
|
||||||
|
widget = guiget('winbordercheck')
|
||||||
|
widget.set_active(not self.config['borderless'])
|
||||||
|
|
||||||
|
# Tab bar position
|
||||||
|
# default is top
|
||||||
|
option = self.config['tab_position']
|
||||||
|
widget = guiget('tabposcombo')
|
||||||
|
if option == 'bottom':
|
||||||
|
active = 1
|
||||||
|
elif option == 'left':
|
||||||
|
active = 2
|
||||||
|
elif option == 'right':
|
||||||
|
active = 3
|
||||||
|
else:
|
||||||
|
active = 0
|
||||||
|
widget.set_active(active)
|
||||||
|
|
||||||
|
## Profile tab
|
||||||
|
|
||||||
|
# Populate the profile list
|
||||||
|
widget = guiget('profilelist')
|
||||||
|
liststore = widget.get_model()
|
||||||
|
profiles = self.config.list_profiles()
|
||||||
|
self.profileiters = {}
|
||||||
|
for profile in profiles:
|
||||||
|
self.profileiters[profile] = liststore.append([profile])
|
||||||
|
|
||||||
|
selection = widget.get_selection()
|
||||||
|
selection.connect('changed', self.on_profile_selection_changed)
|
||||||
|
selection.select_iter(self.profileiters['default'])
|
||||||
|
print "VALUES ALL SET"
|
||||||
|
|
||||||
|
def on_profile_selection_changed(self, selection):
|
||||||
|
"""A different profile was selected"""
|
||||||
|
(listmodel, rowiter) = selection.get_selected()
|
||||||
|
profile = listmodel.get_value(rowiter, 0)
|
||||||
|
self.update_profile_values(profile)
|
||||||
|
|
||||||
|
def update_profile_values(self, profile):
|
||||||
|
"""Update the profile values for a given profile"""
|
||||||
|
self.config.set_profile(profile)
|
||||||
|
guiget = self.builder.get_object
|
||||||
|
|
||||||
|
print "setting profile %s" % profile
|
||||||
|
widget = guiget('allow-bold-checkbutton')
|
||||||
|
widget.set_active(self.config['allow_bold'])
|
||||||
|
|
||||||
|
def on_profile_name_edited(self, cell, path, newtext):
|
||||||
|
"""Update a profile name"""
|
||||||
|
oldname = cell.get_property('text')
|
||||||
|
if oldname == newtext:
|
||||||
|
return
|
||||||
|
dbg('PrefsEditor::on_profile_name_edited: Changing %s to %s' %
|
||||||
|
(oldname, newtext))
|
||||||
|
self.config.rename_profile(oldname, newtext)
|
||||||
|
|
||||||
|
widget = self.builder.get_object('profilelist')
|
||||||
|
model = widget.get_model()
|
||||||
|
iter = model.get_iter(path)
|
||||||
|
model.set_value(iter, 0, newtext)
|
||||||
|
|
||||||
def source_get_type (self, key):
|
def source_get_type (self, key):
|
||||||
if config.DEFAULTS['global_config'].has_key (key):
|
if config.DEFAULTS['global_config'].has_key (key):
|
||||||
print "found %s in global_config" % key
|
print "found %s in global_config" % key
|
||||||
|
|
@ -117,262 +196,8 @@ class PrefsEditor:
|
||||||
label_text = key.replace ('_', ' ').capitalize ()
|
label_text = key.replace ('_', ' ').capitalize ()
|
||||||
return label_text
|
return label_text
|
||||||
|
|
||||||
def auto_add (self, table, list):
|
|
||||||
row = 0
|
|
||||||
for key in list:
|
|
||||||
table.resize (row + 1, 2)
|
|
||||||
label = gtk.Label (self.source_get_keyname (key))
|
|
||||||
wrapperbox = gtk.HBox()
|
|
||||||
wrapperbox.pack_start(label, False, True)
|
|
||||||
|
|
||||||
type = self.source_get_type (key)
|
|
||||||
value = self.source_get_value (key)
|
|
||||||
widget = None
|
|
||||||
|
|
||||||
if key == 'font':
|
|
||||||
widget = gtk.FontButton(value)
|
|
||||||
elif key == 'scrollback_lines':
|
|
||||||
# estimated byte size per line according to g-t:
|
|
||||||
# sizeof(void *) + sizeof(char *) + sizeof(int) + (80 * (sizeof(int32) + 4)
|
|
||||||
widget = gtk.SpinButton()
|
|
||||||
widget.set_digits(0)
|
|
||||||
widget.set_increments(100, 1000)
|
|
||||||
widget.set_range(0, 100000)
|
|
||||||
widget.set_value(value)
|
|
||||||
elif key == 'scrollbar_position':
|
|
||||||
if value == 'hidden':
|
|
||||||
value = 'disabled'
|
|
||||||
widget = gtk.combo_box_new_text()
|
|
||||||
for item in self.scrollbar_position:
|
|
||||||
widget.append_text (item)
|
|
||||||
if value in self.scrollbar_position:
|
|
||||||
widget.set_active (self.scrollbar_position.index(value))
|
|
||||||
elif key == 'backspace_binding':
|
|
||||||
widget = gtk.combo_box_new_text()
|
|
||||||
for item in self.backspace_del_binding:
|
|
||||||
widget.append_text (item)
|
|
||||||
if value in self.backspace_del_binding:
|
|
||||||
widget.set_active (self.backspace_del_binding.index(value))
|
|
||||||
elif key == 'delete_binding':
|
|
||||||
widget = gtk.combo_box_new_text()
|
|
||||||
for item in self.backspace_del_binding:
|
|
||||||
widget.append_text (item)
|
|
||||||
if value in self.backspace_del_binding:
|
|
||||||
widget.set_active (self.backspace_del_binding.index(value))
|
|
||||||
elif key == 'focus':
|
|
||||||
widget = gtk.combo_box_new_text()
|
|
||||||
for item in self.focus:
|
|
||||||
widget.append_text (item)
|
|
||||||
if value in self.focus:
|
|
||||||
widget.set_active (self.focus.index(value))
|
|
||||||
elif key == 'background_type':
|
|
||||||
widget = gtk.combo_box_new_text()
|
|
||||||
for item in self.background_type:
|
|
||||||
widget.append_text (item)
|
|
||||||
if value in self.background_type:
|
|
||||||
widget.set_active (self.background_type.index(value))
|
|
||||||
elif key == 'background_darkness':
|
|
||||||
widget = gtk.HScale ()
|
|
||||||
widget.set_digits (1)
|
|
||||||
widget.set_draw_value (True)
|
|
||||||
widget.set_value_pos (gtk.POS_LEFT)
|
|
||||||
widget.set_range (0, 1)
|
|
||||||
widget.set_value (value)
|
|
||||||
elif key == 'handle_size':
|
|
||||||
widget = gtk.HScale ()
|
|
||||||
widget.set_digits (0)
|
|
||||||
widget.set_draw_value (True)
|
|
||||||
widget.set_value_pos (gtk.POS_LEFT)
|
|
||||||
widget.set_range (-1, 5)
|
|
||||||
widget.set_value (value)
|
|
||||||
elif key == 'foreground_color':
|
|
||||||
widget = gtk.ColorButton (gtk.gdk.color_parse (value))
|
|
||||||
elif key == 'background_color':
|
|
||||||
widget = gtk.ColorButton (gtk.gdk.color_parse (value))
|
|
||||||
elif key == 'cursor_color':
|
|
||||||
if not value:
|
|
||||||
value = self.source_get_value ('foreground_color')
|
|
||||||
widget = gtk.ColorButton (gtk.gdk.color_parse (value))
|
|
||||||
elif key == 'palette':
|
|
||||||
colours = value.split (':')
|
|
||||||
numcolours = len (colours)
|
|
||||||
widget = gtk.Table (2, numcolours / 2)
|
|
||||||
x = 0
|
|
||||||
y = 0
|
|
||||||
for thing in colours:
|
|
||||||
if x == numcolours / 2:
|
|
||||||
y += 1
|
|
||||||
x = 0
|
|
||||||
widget.attach (gtk.ColorButton (gtk.gdk.color_parse (thing)), x, x + 1, y, y + 1)
|
|
||||||
x += 1
|
|
||||||
elif key in ['title_tx_txt_color', 'title_tx_bg_color', 'title_rx_txt_color', 'title_rx_bg_color', 'title_ia_txt_color', 'title_ia_bg_color']:
|
|
||||||
widget = gtk.ColorButton (gtk.gdk.color_parse (value))
|
|
||||||
elif key == 'background_image':
|
|
||||||
widget = gtk.FileChooserButton('Select a File')
|
|
||||||
filter = gtk.FileFilter()
|
|
||||||
filter.add_mime_type ('image/*')
|
|
||||||
widget.add_filter (filter)
|
|
||||||
widget.set_local_only (True)
|
|
||||||
if value:
|
|
||||||
widget.set_filename (value)
|
|
||||||
elif key == 'tab_position':
|
|
||||||
widget = gtk.combo_box_new_text()
|
|
||||||
for item in self.tab_position:
|
|
||||||
widget.append_text (item)
|
|
||||||
if value in self.tab_position:
|
|
||||||
widget.set_active (self.tab_position.index(value))
|
|
||||||
elif key == 'cursor_shape':
|
|
||||||
widget = gtk.combo_box_new_text()
|
|
||||||
for item in self.cursor_shape:
|
|
||||||
widget.append_text (item)
|
|
||||||
if value in self.cursor_shape:
|
|
||||||
widget.set_active (self.cursor_shape.index (value))
|
|
||||||
else:
|
|
||||||
print "doing %s automagically" % key
|
|
||||||
if type == "bool":
|
|
||||||
widget = gtk.CheckButton ()
|
|
||||||
widget.set_active (value == 'True')
|
|
||||||
elif type in ["str", "int", "float"]:
|
|
||||||
widget = gtk.Entry ()
|
|
||||||
widget.set_text (str(value))
|
|
||||||
elif type == "list":
|
|
||||||
continue
|
|
||||||
else:
|
|
||||||
err("Unknown type: %s for key: %s" % (type, key))
|
|
||||||
continue
|
|
||||||
|
|
||||||
if hasattr(widget, 'set_tooltip_text') and self.data.has_key (key):
|
|
||||||
widget.set_tooltip_text (self.data[key][1])
|
|
||||||
|
|
||||||
widget.set_name(key)
|
|
||||||
self.widgets[key] = widget
|
|
||||||
table.attach (wrapperbox, 0, 1, row, row + 1, gtk.EXPAND|gtk.FILL, gtk.FILL)
|
|
||||||
table.attach (widget, 1, 2, row, row + 1, gtk.EXPAND|gtk.FILL, gtk.FILL)
|
|
||||||
row += 1
|
|
||||||
|
|
||||||
return (table)
|
|
||||||
|
|
||||||
def apply (self, data):
|
def apply (self, data):
|
||||||
values = {}
|
pass
|
||||||
for page in [self.appearance, self.behaviour, self.globals, self.colours]:
|
|
||||||
for property in page:
|
|
||||||
widget = self.widgets[property]
|
|
||||||
|
|
||||||
if isinstance (widget, gtk.SpinButton):
|
|
||||||
value = widget.get_value ()
|
|
||||||
elif isinstance (widget, gtk.Entry):
|
|
||||||
value = widget.get_text()
|
|
||||||
elif isinstance (widget, gtk.CheckButton):
|
|
||||||
value = widget.get_active()
|
|
||||||
elif isinstance (widget, gtk.ComboBox):
|
|
||||||
if widget.name == 'scrollbar_position':
|
|
||||||
bucket = self.scrollbar_position
|
|
||||||
elif widget.name == 'backspace_binding' or widget.name == 'delete_binding':
|
|
||||||
bucket = self.backspace_del_binding
|
|
||||||
elif widget.name == 'focus':
|
|
||||||
bucket = self.focus
|
|
||||||
elif widget.name == 'background_type':
|
|
||||||
bucket = self.background_type
|
|
||||||
elif widget.name == 'tab_position':
|
|
||||||
bucket = self.tab_position
|
|
||||||
elif widget.name == 'cursor_shape':
|
|
||||||
bucket = self.cursor_shape
|
|
||||||
else:
|
|
||||||
err("Unknown bucket type for %s" % widget.name)
|
|
||||||
continue
|
|
||||||
|
|
||||||
value = bucket[widget.get_active()]
|
|
||||||
elif isinstance (widget, gtk.FontButton):
|
|
||||||
value = widget.get_font_name()
|
|
||||||
elif isinstance (widget, gtk.HScale):
|
|
||||||
value = widget.get_value()
|
|
||||||
if widget.get_digits() == 0:
|
|
||||||
value = int(value)
|
|
||||||
elif isinstance (widget, gtk.ColorButton):
|
|
||||||
value = widget.get_color().to_string()
|
|
||||||
elif isinstance (widget, gtk.FileChooserButton):
|
|
||||||
value = widget.get_filename()
|
|
||||||
elif widget.get_name() == 'palette':
|
|
||||||
value = ''
|
|
||||||
valuebits = []
|
|
||||||
children = widget.get_children()
|
|
||||||
children.reverse()
|
|
||||||
for child in children:
|
|
||||||
valuebits.append (child.get_color().to_string())
|
|
||||||
value = ':'.join (valuebits)
|
|
||||||
else:
|
|
||||||
value = None
|
|
||||||
err("skipping unknown property: %s" % property)
|
|
||||||
|
|
||||||
values[property] = value
|
|
||||||
|
|
||||||
has_changed = False
|
|
||||||
changed = []
|
|
||||||
for source in self.config.sources:
|
|
||||||
if isinstance (source, TerminatorConfValuestoreRC):
|
|
||||||
for property in values:
|
|
||||||
try:
|
|
||||||
if self.source_get_value(property) != values[property]:
|
|
||||||
dbg("%s changed from %s to %s" % (property, self.source_get_value(property), values[property]))
|
|
||||||
source.values[property] = values[property]
|
|
||||||
has_changed = True
|
|
||||||
changed.append(property)
|
|
||||||
except KeyError:
|
|
||||||
pass
|
|
||||||
if has_changed:
|
|
||||||
for changer in changed:
|
|
||||||
if changer == "fullscreen":
|
|
||||||
self.term.fullscreen_absolute(values[changer])
|
|
||||||
elif changer == "maximise":
|
|
||||||
if values[changer]:
|
|
||||||
self.term.maximize()
|
|
||||||
else:
|
|
||||||
self.term.unmaximize()
|
|
||||||
elif changer == "borderless":
|
|
||||||
self.term.window.set_decorated (not values[changer])
|
|
||||||
elif changer == "handle_size":
|
|
||||||
self.term.set_handle_size(values[changer])
|
|
||||||
gtk.rc_reset_styles(gtk.settings_get_default())
|
|
||||||
elif changer == "tab_position":
|
|
||||||
notebook = self.term.window.get_child()
|
|
||||||
new_pos = self.tab_position_gtk[values[changer]]
|
|
||||||
angle = 0
|
|
||||||
if isinstance (notebook, gtk.Notebook):
|
|
||||||
notebook.set_tab_pos(new_pos)
|
|
||||||
for i in xrange(0,notebook.get_n_pages()):
|
|
||||||
notebook.get_tab_label(notebook.get_nth_page(i)).update_angle()
|
|
||||||
pass
|
|
||||||
elif changer == "close_button_on_tab":
|
|
||||||
notebook = self.term.window.get_child()
|
|
||||||
if isinstance (notebook, gtk.Notebook):
|
|
||||||
for i in xrange(0,notebook.get_n_pages()):
|
|
||||||
notebook.get_tab_label(notebook.get_nth_page(i)).update_closebut()
|
|
||||||
# FIXME: which others? cycle_term_tab, copy_on_selection, try_posix_regexp
|
|
||||||
|
|
||||||
self.term.reconfigure_vtes()
|
|
||||||
|
|
||||||
# Check for changed keybindings
|
|
||||||
changed_keybindings = []
|
|
||||||
for row in self.liststore:
|
|
||||||
accel = gtk.accelerator_name (row[2], row[3])
|
|
||||||
value = self.term.conf.keybindings[row[0]]
|
|
||||||
if isinstance (value, tuple):
|
|
||||||
value = value[0]
|
|
||||||
keyval = 0
|
|
||||||
mask = 0
|
|
||||||
if value is not None and value != "None":
|
|
||||||
try:
|
|
||||||
(keyval, mask) = self.tkbobj._parsebinding(value)
|
|
||||||
except KeymapError:
|
|
||||||
pass
|
|
||||||
if (row[2], row[3]) != (keyval, mask):
|
|
||||||
changed_keybindings.append ((row[0], accel))
|
|
||||||
dbg("%s changed from %s to %s" % (row[0], self.term.conf.keybindings[row[0]], accel))
|
|
||||||
|
|
||||||
newbindings = self.term.conf.keybindings
|
|
||||||
for binding in changed_keybindings:
|
|
||||||
newbindings[binding[0]] = binding[1]
|
|
||||||
self.term.keybindings.configure (newbindings)
|
|
||||||
|
|
||||||
def cancel (self, data):
|
def cancel (self, data):
|
||||||
self.window.destroy()
|
self.window.destroy()
|
||||||
|
|
@ -438,3 +263,10 @@ class PrefsEditor:
|
||||||
def cleared (self, obj, path):
|
def cleared (self, obj, path):
|
||||||
iter = self.liststore.get_iter_from_string(path)
|
iter = self.liststore.get_iter_from_string(path)
|
||||||
self.liststore.set(iter, 2, 0, 3, 0)
|
self.liststore.set(iter, 2, 0, 3, 0)
|
||||||
|
|
||||||
|
if __name__ == '__main__':
|
||||||
|
import terminal
|
||||||
|
term = terminal.Terminal()
|
||||||
|
foo = PrefsEditor(term)
|
||||||
|
|
||||||
|
gtk.main()
|
||||||
|
|
|
||||||
|
|
@ -87,14 +87,14 @@ class Window(Container, gtk.Window):
|
||||||
|
|
||||||
def apply_config(self):
|
def apply_config(self):
|
||||||
"""Apply various configuration options"""
|
"""Apply various configuration options"""
|
||||||
self.set_fullscreen(self.config['fullscreen'])
|
self.set_fullscreen(self.config['window_state'] == 'fullscreen')
|
||||||
self.set_maximised(self.config['maximise'])
|
self.set_maximised(self.config['window_state'] == 'maximise')
|
||||||
self.set_borderless(self.config['borderless'])
|
self.set_borderless(self.config['borderless'])
|
||||||
self.set_real_transparency()
|
self.set_real_transparency()
|
||||||
if self.hidebound:
|
if self.hidebound:
|
||||||
self.set_hidden(self.config['hidden'])
|
self.set_hidden(self.config['window_state'] == 'hidden')
|
||||||
else:
|
else:
|
||||||
self.set_iconified(self.config['hidden'])
|
self.set_iconified(self.config['window_state'] == 'hidden')
|
||||||
|
|
||||||
def apply_icon(self):
|
def apply_icon(self):
|
||||||
"""Set the window icon"""
|
"""Set the window icon"""
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue