--- a/UI/NumbersWidget.py	Mon Jun 28 20:00:21 2010 +0200
+++ b/UI/NumbersWidget.py	Sat Jul 03 16:52:07 2010 +0200
@@ -454,9 +454,3 @@
         Private slot to send a hexadecimal number.
         """
         self.insertNumber.emit(self.hexEdit.text())
-    
-    def setNumber(self, number):
-        """
-        Public method to set the number.
-        """
-        # TODO: implement this