diff options
Diffstat (limited to 'main/data/settings_dialog.ui')
| -rw-r--r-- | main/data/settings_dialog.ui | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/main/data/settings_dialog.ui b/main/data/settings_dialog.ui index c76f347e..d5b7ac92 100644 --- a/main/data/settings_dialog.ui +++ b/main/data/settings_dialog.ui @@ -65,6 +65,18 @@ <property name="height">1</property> </packing> </child> + <child> + <object class="GtkCheckButton" id="check_spelling_checkbutton"> + <property name="label" translatable="yes">Check spelling</property> + <property name="visible">True</property> + </object> + <packing> + <property name="left_attach">0</property> + <property name="top_attach">4</property> + <property name="width">1</property> + <property name="height">1</property> + </packing> + </child> </object> </child> </object> |