AGs, Contracts, Patterns: Shortcuts are disabled
When editing properties, shortcuts are not working. This is especially
time-consuming for:
Strg + c, Strg + v, Strg + a, pos1, end
(from redmine: issue id 2029, created on 2014-06-20, closed on 2014-07-21)