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