Double click should open workbench

@8BitCrab, this had been suggested on September '14, but on a list of suggestions and more generally (see #1 here). :sweat_smile: