basti1302/startexplorer — Issue #8: Better separation between between resource view commands and editor commands
Author: basti1302
Created: 2012-02-27 07:17:57+00:00
State: open

differentiate between resource commands and text selection commands for keyboard shortcuts -> different contexts. (See also misc/context.ids)