--- a/frontends/src/wix/xmlui.py	Wed Apr 02 12:37:32 2014 +0200
+++ b/frontends/src/wix/xmlui.py	Thu Apr 03 14:38:48 2014 +0200
@@ -42,10 +42,6 @@
 
 
 class ValueWidget(WixWidget):
-
-    def _xmluiSetValue(self, value):
-        self.SetValue(value)
-
     def _xmluiGetValue(self):
         return self.GetValue()
 
@@ -110,9 +106,6 @@
         self.SetValue(state)
         self._xmlui_proportion = 1
 
-    def _xmluiSetValue(self, value):
-        self.SetValue(value == 'true')
-
     def _xmluiGetValue(self):
         return "true" if self.GetValue() else "false"
 
@@ -160,11 +153,6 @@
             ret.append(self._xmlui_attr_map[label])
         return ret
 
-    def _xmluiAddValues(self, values, select=True):
-        wx.ListBox.AppendItems(values)
-        if select:
-            self._xmluiSelectValues(values)
-
 
 class WixContainer(object):
     _xmlui_proportion = 1