adding speller as gui option [code is rdy needs some further testing]

This commit is contained in:
Nikos Kouremenos 2005-05-25 00:24:24 +00:00
parent 0579cc40d0
commit 5d7e3c75b8
2 changed files with 29 additions and 8 deletions

View File

@ -129,6 +129,6 @@ class Advanced_configuration_window:
text = widget.get_text()
self.modelfilter.refilter()
def on_advanced_configuration_window_key_press_event(self, widget, event)
def on_advanced_configuration_window_key_press_event(self, widget, event):
if event.keyval == gtk.keysyms.Escape:
self.window.hide()

View File

@ -2954,7 +2954,7 @@
<property name="type">GTK_WINDOW_TOPLEVEL</property>
<property name="window_position">GTK_WIN_POS_NONE</property>
<property name="modal">False</property>
<property name="resizable">True</property>
<property name="resizable">False</property>
<property name="destroy_with_parent">False</property>
<property name="decorated">True</property>
<property name="skip_taskbar_hint">False</property>
@ -3621,6 +3621,26 @@
</packing>
</child>
<child>
<widget class="GtkCheckButton" id="speller_checkbutton">
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="label" translatable="yes">_Highlight misspelled words</property>
<property name="use_underline">True</property>
<property name="relief">GTK_RELIEF_NORMAL</property>
<property name="focus_on_click">True</property>
<property name="active">False</property>
<property name="inconsistent">False</property>
<property name="draw_indicator">True</property>
<signal name="toggled" handler="on_speller_checkbutton_toggled" last_modification_time="Tue, 24 May 2005 22:38:23 GMT"/>
</widget>
<packing>
<property name="padding">0</property>
<property name="expand">False</property>
<property name="fill">False</property>
</packing>
</child>
<child>
<widget class="GtkFrame" id="frame24">
<property name="visible">True</property>
@ -3677,7 +3697,7 @@
<widget class="GtkRadioButton" id="time_always_radiobutton">
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="label" translatable="yes">On every line</property>
<property name="label" translatable="yes">On every _line</property>
<property name="use_underline">True</property>
<property name="relief">GTK_RELIEF_NORMAL</property>
<property name="focus_on_click">True</property>
@ -3697,7 +3717,7 @@
<widget class="GtkRadioButton" id="time_sometimes_radiobutton">
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="label" translatable="yes">Every 5 minutes</property>
<property name="label" translatable="yes">Every 5 _minutes</property>
<property name="use_underline">True</property>
<property name="relief">GTK_RELIEF_NORMAL</property>
<property name="focus_on_click">True</property>
@ -3718,7 +3738,7 @@
<widget class="GtkRadioButton" id="time_never_radiobutton">
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="label" translatable="yes">Never</property>
<property name="label" translatable="yes">_Never</property>
<property name="use_underline">True</property>
<property name="relief">GTK_RELIEF_NORMAL</property>
<property name="focus_on_click">True</property>
@ -5632,7 +5652,7 @@ Custom</property>
<widget class="GtkVBox" id="vbox48">
<property name="visible">True</property>
<property name="homogeneous">False</property>
<property name="spacing">5</property>
<property name="spacing">0</property>
<child>
<widget class="GtkCheckButton" id="log_in_contact_checkbutton">
@ -10045,7 +10065,7 @@ send a chat message to</property>
<child>
<widget class="GtkLabel" id="event_type_label">
<property name="visible">True</property>
<property name="label" translatable="yes">&lt;b&gt;event_type_label&lt;/b&gt;</property>
<property name="label" translatable="yes"></property>
<property name="use_underline">False</property>
<property name="use_markup">True</property>
<property name="justify">GTK_JUSTIFY_LEFT</property>
@ -10099,7 +10119,7 @@ send a chat message to</property>
<child>
<widget class="GtkLabel" id="event_description_label">
<property name="visible">True</property>
<property name="label" translatable="yes">event_description_label</property>
<property name="label" translatable="yes"></property>
<property name="use_underline">False</property>
<property name="use_markup">False</property>
<property name="justify">GTK_JUSTIFY_LEFT</property>
@ -10885,6 +10905,7 @@ send a chat message to</property>
<property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
<property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
<signal name="destroy" handler="on_advanced_configuration_window_destroy" last_modification_time="Sat, 14 May 2005 01:39:26 GMT"/>
<signal name="key_press_event" handler="on_advanced_configuration_window_key_press_event" last_modification_time="Tue, 24 May 2005 22:33:12 GMT"/>
<child>
<widget class="GtkVBox" id="vbox70">