wenzelm [Tue, 12 Aug 2014 21:29:50 +0200] rev 57920
clarified focus and key handling -- more like SideKick;
avoid resetting input map with its potentially confusion propagation of key events to unrelated components, e.g. main text area or tree scrollbar;