Philipp Hagemeister 2fe3d240cc Regroup and hide workaround options
These options are rarely necessary. Hide them to make the important options in the general group more obvious.
2014-07-24 11:46:21 +02:00
..
2013-11-09 11:25:12 +01:00
2014-01-23 10:24:44 +01:00
2014-07-24 11:24:43 +02:00