|
filter
|
update tables on filter record changes
|
2013-08-26 12:49:13 +02:00 |
|
settings
|
open user settings dialogue centered
|
2013-09-08 09:28:43 +02:00 |
|
tools
|
open sub view on double click in report view
|
2012-12-12 22:36:20 +01:00 |
|
world
|
update syntax highlighting when ID list changes
|
2013-09-19 14:26:09 +02:00 |
