util/__init__.py
author Laurent Bessard
Wed, 05 Jun 2013 23:34:41 +0200
changeset 1227 01e86190f8c7
parent 742 41a4a560406c
permissions -rw-r--r--
Fixed tick not refreshed when in DebugVariablePanel when variable in it