Marc Zinnschlag 6ff41c6a00 intercept shift/ctrl double-clicks in tables

2014-10-23 11:28:58 +02:00

..

doc

user settings cleanup

2014-10-17 13:49:33 +02:00

filter

Tweak the look of the recordfilterbox. Keep titlebar if floating.

2014-09-23 20:51:14 +10:00

render

Merge branch 'settings'

2014-10-19 13:44:15 +02:00

settings

Merge branch 'settings'

2014-10-19 13:44:15 +02:00

tools

make delegates use the whole document instead of the undo stack

2014-08-23 12:25:12 +02:00

widget

rewrote run tool profile management

2014-09-13 18:53:35 +02:00

world

intercept shift/ctrl double-clicks in tables

2014-10-23 11:28:58 +02:00