Remove OK button from the plugin

TechnionYP5777 / Bugquery

Bug query

9 stars 1 forks source link

Remove OK button from the plugin #95

Closed yonzarecki closed 7 years ago

yonzarecki commented 7 years ago

Remove OK button from the plugin, will make the experience more fluent. As discussed with Yossi.

yossigil commented 7 years ago

Philosophy is: suggest a solution, don't wait for the user to ask

yonzarecki commented 7 years ago

We decided to use the quick solution of using the working solution when working on Windows and retain the OK button when working on linux (as it is a technical challenge to implement it there)