2016-12-31 16:57 GMT+01:00 Ben Coman <b...@openinworld.com>: > Maybe it is the checkbox doubling the size of the whitespace (??) such > that it would be better placed to the right (??), or maybe I just need > to adapt. >
In last version (dev) I push it to the right. Also I moved extensions group to the top at second place. And all groups now support highlighting as owner of selected methods