Jan. 3, 2017
12:40 p.m.
2016-12-31 16:57 GMT+01:00 Ben Coman <btc@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