From 6740d492a31757a36a7247beb4d1c234c5d15f23 Mon Sep 17 00:00:00 2001
From: Doug Blank <doug.blank@gmail.com>
Date: Mon, 4 Apr 2011 16:47:55 +0000
Subject: [PATCH] 4593: Updating a StringOption option (via set_value()) does
 NOT update the GUI widget

svn: r17036
---
 src/gui/plug/_guioptions.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/gui/plug/_guioptions.py b/src/gui/plug/_guioptions.py
index 148f874cb..a7d3b4ce5 100644
--- a/src/gui/plug/_guioptions.py
+++ b/src/gui/plug/_guioptions.py
@@ -528,7 +528,12 @@ class GuiEnumeratedListOption(gtk.HBox):
         # signals don't fire)
 
         self.__option.set_value( value )
+        self.value_changed()    # Allow overriding so that another class
+                                # can add functionality
         
+    def value_changed(self):
+        pass
+
     def __update_options(self):
         """
         Handle the change of the available options.