--- a/QTfrontend/itemNum.cpp	Mon Nov 22 21:57:45 2010 +0300
+++ b/QTfrontend/itemNum.cpp	Mon Nov 22 22:05:46 2010 +0100
@@ -108,4 +108,5 @@
 void ItemNum::setEnabled(bool value)
 {
   enabled=value;
+  repaint();
 }