-
Benjamin Long authored
Most of the time the Spin Box can be modified by other widget. We only want to record event when we are over this widget.
cb5fc5cc
Most of the time the Spin Box can be modified by other widget. We only want to record event when we are over this widget.