GitLab

	* src/graphing.c: fix off by one in the computing of the graphing
	  subintervals for surface plots

	* examples/zoom-differentiability.gel: wait for a moment at the
	  start, and a slightly different nondifferentiable function

	* src/graphing.c: improve slightly again efficiency, and make
	  rotation by holding down a key work better.

	* src/graphing.c: surface plots got recomputed twice, so only compute
	  once and setup in the same way as when plotting data, except
	  recomputing the data on zoom.

	* src/gnome-genius.c: Fix unsetting the stop button on script end,
	  fix current program marking.

	* src/graphing.c: Fix a couple of possible crashes when resetting
	  variable names.

	* graphing.c: improve slightly the frozenness of 3d plots, and enable
	  the stop button on the graph window the whole time a script is running.

	* examples/zoom-differentiability.gel: Example of zooming into a
	  differentiable and a nondifferentiable function of two variables

	* src/gnome-genius.c: allow setting editor color scheme in the
	  gui settings

	* src/gnome-genius.c: Make icons optional (ifdef'ed out), it actually
	  seems to me to look better without.

	* src/gnome-genius.[ch]. src/graphing.[ch]: Remove use of amtk and
	  actually simplify the code in the process.  Also fix an inadvertant
	  API break for plugins (though there are no extant plugins as
	  far as I know).  Add Save toolbar item, fix window delete to act
	  like the quit button

	* configure.ac: remove amtk, raise version

	* help/update-po.sh,help/update-xml-to-txt-html.sh: port from
	  xml2po to itstool, and run the updates