Ticket #3995: just a tiny refactoring

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@31172 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
Size of checkboxes and radio buttons in menu will be updated too by font size change. (#3193)

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@31173 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
Disable workers in Touch

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@31174 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
Disable workers in Touch, part 2

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@31175 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e