Spinner added for navigation bar. (#3246)

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@25972 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
More instanceof changes: isBooleanValue removed.

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@25973 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
Adding timeout support (untested)


git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@25974 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
Renamed isTextValue to evaluateToText, make sure it returns true for "x"*a (not only "x"+a)

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