> On 4 Feb 2018, at 01:54, Greg Ewing <greg.ewing@xxxxxxxxxxxxxxxx> wrote: > > Alex Nordlund wrote: >> The toolbox app from jetbrains already does that but better :-) > > Also a LOT more expensively, from the looks of their web site. No, that's the toolbox, the toolbox app is free. It's also confusingly named :-) Best regards Alex