4593: Updating a StringOption option (via set_value()) does NOT update the GUI widget

svn: r17036
This commit is contained in:
Doug Blank 2011-04-04 16:47:55 +00:00
parent 8bb5cc672a
commit 6740d492a3

View File

@ -528,6 +528,11 @@ 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):
"""