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

[Radoslav Rábara (JIRA)]

Radoslav Rábara created JBIDE-17080:
---------------------------------------

             Summary: 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
             Fix For: 4.2.0.Beta2


While editing text in Properties Editor, the shortcuts for copy and paste doesn't work.

--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira