Focus for the Codeeditor
Focus is lost when switching to another extension or selecting something from the menu. No focus and further typing is possible on touch devices.
(from redmine: issue id 974, created on 2012-05-08 by root, closed on 2012-05-21)