Manuel Dobusch
5af8d0f03f
ui: graph toggle button number position
...
Improved the position of the small number in the graph node toggle button for windows.
2015-12-30 00:21:38 +01:00
Eberhard Graether
82a16341d8
ui: renamed undo&redo to back&forward, control back&forward via mouse and backspace
...
* the key codes for mouse back and forward buttons can be defined in the ApplicationSettings
* fixed only left mouse button allowed for graph interactions
2015-12-16 16:22:10 +01:00
Andreas Stallinger
43409cd6b7
build: trial version target
...
builds now app and trail target, lib_gui added, istrail function
2015-12-08 17:55:12 +01:00
Manuel Dobusch