atom-language-idris icon indicating copy to clipboard operation
atom-language-idris copied to clipboard

Published 20 hours ago • verified publisher icon idris-hackers

When opening the REPL view the input should get focus

Open justjoheinz opened this issue 9 years ago • 1 comments

When opening a Repl View with ctrl-alt-enter or switching tabs to the repl view, the input field to enter commands should automatically obtain the focus.

justjoheinz avatar Feb 29 '16 07:02 justjoheinz

Same applies to the apropos view.

justjoheinz avatar Mar 15 '16 19:03 justjoheinz