files for eclipse (which gives a great help for gwt-editing)
gives a message instead of aborting in case of a bad network behaviour
(needs to be debugged)
add an URL option "?run" (http://server:port/?run)
so the GUI automatically connects to the same server with websockets
after having loaded the js pages.
same as previous commit (URL/?run)
add a new sliderbar (GuiSliderTouch) wich nearly works on touchscreen (sliding it)
it deprecates old sliderbar (GuiSliderBar)
it is still called "sliderbar" in gate
improve "reset" command
eclipse fixup adds final everywhere useful
new CheckNext() function
scrollable: public setScrollable, new public hideScrollbars
publish drawingarea to whom needs it (like GuiSlidertouch)
fix rectangle
remove tooltip from GuiButton
(will be re-added globally in Gate)
fix CheckBox: value was not sent to the user
renamed true, false to check, uncheck
add new attribute tooltip common to every object
hide debug message from login screen
renamed remote_cal to remote_setup, and added stuff to update/save/recall new touchScreen variable in setup (was: calibration) screen
remove unnecessary old GuiSliderBar
(noise) tabs and removed comments