Thu, 21 Feb 2019 10:58:37 +0300 Andrey Skvortsov Add SpinButtons for integer and floating point variables in ForceVariableDialog
Thu, 21 Feb 2019 10:17:38 +0300 Andrey Skvortsov Fix non-marking as manually forced floating point variable if the value isn't integer
Thu, 14 Feb 2019 10:27:24 +0300 Andrey Skvortsov Don't close ForceVariableDialog if user entered wrong new value
Thu, 14 Feb 2019 10:19:30 +0300 Andrey Skvortsov Additional fix for rewrite ForceVariableDialog commit (9076249f)