doc
|
generalised RefIdTypeDelegate into IdTypeDelegate
|
2013-09-22 13:39:44 +02:00 |
settings
|
open user settings dialogue centered
|
2013-09-08 09:28:43 +02:00 |
tools
|
use IdTypeDelegate in report table
|
2013-09-22 13:54:01 +02:00 |
world
|
use IdTypeDelegate in report table
|
2013-09-22 13:54:01 +02:00 |