Font size change updates the size of the images in the menu. (#3193)

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@31169 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
javadoc fix (#3193)

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