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.