Ticket #4486: orig.patch

.py

@@ -120 +120 @@
             self._dots[i].type = dot
             self._dots[i].set_shape(self._new_dot(
                     self._colors[self._dots[i].type]))
+            if dot==0:
+                count = self._count([2, 4], self._dots[i])
+                if count>0:
+                    self._dots[i].set_label(count)
 
     def save_game(self):
         ''' Return dot list for saving to Journal or