[jbosstools-issues] [JBoss JIRA] (JBIDE-17080) Clipboard operations doesn't work in Properties editor

Clipboard operations doesn't work in Properties editor ------------------------------------------------------ Key: JBIDE-17080 URL: https://issues.jboss.org/browse/JBIDE-17080 Project: Tools (JBoss Tools) Issue Type: Bug Components: common/jst/core Affects Versions: 4.2.0.Beta1 Environment: Ubuntu 12.04 Reporter: Radoslav Rábara Assignee: Viacheslav Kabanovich Fix For: 4.2.0.Beta2 While editing text in Properties Editor, the shortcuts for copy and paste doesn't work.