editors/__init__.py
author Andrey Skvortsov <andrej.skvortzov@gmail.com>
Thu, 21 Sep 2017 16:06:51 +0300
changeset 1823 1e9a67d68612
parent 814 5743cbdff669
permissions -rw-r--r--
fix commit "lazy initialization of highlight pens and brushes
for DebugVariableViewer" (5562f34f)