> On 4 Feb 2018, at 01:54, Greg Ewing <[email protected]> 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
