Ticket #3705: when opening the Properties view, it should show itself (this might be a temporary solution, as this could probably be done more efficiently, but Laszlo might be still working on the Properties View)

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

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@31147 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
Font size change updates menu fonts too. (#3193)

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@31148 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
#3882 ProbabilitCalculator Plotpaneleuclidianview visible.

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