Some more things ported for ConstructionProtocolView (#3246)

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@25776 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
reiniting of navigation bar, to show the correct numbers on the label (in application) (#3246)

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