Eberhard Graether 5c0493267c ui: Added option for hiding dock widge title bars to view menu

2015-12-17 14:28:47 +01:00

..

element

ui: renamed undo&redo to back&forward, control back&forward via mouse and backspace

2015-12-16 16:22:10 +01:00

graphics

build: trial version target

2015-12-08 17:55:12 +01:00

network

build: trial version target

2015-12-08 17:55:12 +01:00

networkPrototype

build: trial version target

2015-12-08 17:55:12 +01:00

utility

build: trial version target

2015-12-08 17:55:12 +01:00

view

ui: renamed undo&redo to back&forward, control back&forward via mouse and backspace

2015-12-16 16:22:10 +01:00

window

ui: Added option for hiding dock widge title bars to view menu

2015-12-17 14:28:47 +01:00