new redo/undo icons
toolbar height change

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@33518 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
Only update properties view on labeled geo change (prevent inf. loop), maybe[needs backport]

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