focus editor after selecting an option
Merge pull request #77 from folieadrien/gui-improve

focus editor after selecting an option