Curser in terminal
When switched from another extension to terminal the curser is not set. A click into the window is required to be able to type.
(from redmine: issue id 1850, created on 2014-09-17 by fabian.heidemann, closed on 2014-09-26)
- Changesets:
- Revision 1461 by Benjamin Fischer on 2014-09-26T17:11:46Z:
Blur/Focus on hide/show of terminal and fix #1850
- Revision 1461 by Benjamin Fischer on 2014-09-26T17:11:46Z:
Blur/Focus on hide/show of terminal and fix #1850