besh81 36095c9190 fix disabled checkbox square
disabled checkbox square now looks like disabled textbox
In addition found an unused instruction in text_editor.cpp: could be replaced or removed (or left as it is :) )
2018-12-14 12:38:06 +01:00
..
2018-12-14 12:38:06 +01:00
2018-12-07 05:30:11 +08:00
2018-12-14 12:38:06 +01:00
2018-02-22 07:59:27 +08:00
2018-08-27 06:51:20 +08:00
2018-09-11 07:34:25 +08:00
2018-12-05 06:36:40 +08:00
2018-11-03 14:58:53 -03:00