| Wed, 26 Sep 2018 14:15:22 +0300 | Andrey Skvortsov | use the same font size on Windows and GNU/Linux | changeset | files |
| Wed, 26 Sep 2018 12:13:23 +0300 | Andrey Skvortsov | use nice and pretty mono font in graphical languages (SFC, FBD, LD) as well | changeset | files |