[dasher] Make "draw box outlines" do something. Reported by David Mackay.

[Patrick Welche <pwelche src gnome org>]

commit cb6426415351afa2c9bd2be0eb7098689e2add48
Author: Patrick Welche <prlw1 cam ac uk>
Date:   Mon Oct 11 20:02:40 2010 +0100

    Make "draw box outlines" do something.
    Reported by David Mackay.

 Data/GUI/dasher.preferences.ui |    2 +-
 Src/Gtk2/Preferences.cpp       |    9 +++++++++
 2 files changed, 10 insertions(+), 1 deletions(-)
---
diff --git a/Data/GUI/dasher.preferences.ui b/Data/GUI/dasher.preferences.ui
index 4eb1898..83d80f4 100644
--- a/Data/GUI/dasher.preferences.ui
+++ b/Data/GUI/dasher.preferences.ui
@@ -985,7 +985,7 @@ your writing speed.</property>
                                         <property name="label" translatable="yes">Draw box outlines</property>
                                         <property name="use_underline">True</property>
                                         <property name="draw_indicator">True</property>
-                                        <signal handler="generic_bool_changed" name="clicked"/>
+                                        <signal handler="outline_button_toggled" name="toggled"/>
                                       </object>
                                       <packing>
                                         <property name="expand">False</property>
diff --git a/Src/Gtk2/Preferences.cpp b/Src/Gtk2/Preferences.cpp
index 33d6b79..0623c9d 100644
--- a/Src/Gtk2/Preferences.cpp
+++ b/Src/Gtk2/Preferences.cpp
@@ -419,6 +419,15 @@ extern "C" void generic_bool_changed(GtkWidget *widget, gpointer user_data) {
   dasher_preferences_dialogue_refresh_parameter(g_pPreferencesDialogue, widget, user_data);// TODO: fix NULL
 }
 
+extern "C" void outline_button_toggled(GtkWidget *widget, gpointer user_data) {
+	DasherPreferencesDialoguePrivate *pPrivate = DASHER_PREFERENCES_DIALOGUE_PRIVATE(g_pPreferencesDialogue);
+	if(gtk_toggle_button_get_active(GTK_TOGGLE_BUTTON(widget))) {
+		dasher_app_settings_set_long(pPrivate->pAppSettings, LP_OUTLINE_WIDTH, 1);
+	} else {
+		dasher_app_settings_set_long(pPrivate->pAppSettings, LP_OUTLINE_WIDTH, 0);
+	}
+}
+
 // --- Generic string options ---
 
 void dasher_preferences_dialogue_populate_list(DasherPreferencesDialogue *pSelf, GtkTreeView *pView, int iParameter, GtkWidget *pHelper) {