# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1309226785 -7200
# Node ID 8f9d306722250e6249990f6f7553a7e83ba8c8c5
# Parent  907a72e79b3eb3bd54fec756d4e37278c893a4b6
browser side: widgets' setting reset button update fix

diff -r 907a72e79b3e -r 8f9d30672225 browser_side/dialog.py
--- a/browser_side/dialog.py	Tue Jun 28 03:51:39 2011 +0200
+++ b/browser_side/dialog.py	Tue Jun 28 04:06:25 2011 +0200
@@ -289,6 +289,7 @@
     def setValue(self, value):
         """Change the value and fire valueChange listeners"""
         self.value = value
+        self.box.setText(str(value))
         self._callListeners()
     
     def onMinus(self, sender):