[jbosstools-issues] [JBoss JIRA] Closed: (JBIDE-7391) Properties Editor -> Filter -> does not support clipboard operation
[
https://jira.jboss.org/browse/JBIDE-7391?page=com.atlassian.jira.plugin.s...
]
Vlado Pakan closed JBIDE-7391.
------------------------------
Verified on JBDS 4.0.0.v201012070137R-H33-Beta2.
Properties Editor -> Filter -> does not support clipboard
operation
-------------------------------------------------------------------
Key: JBIDE-7391
URL: https://jira.jboss.org/browse/JBIDE-7391
Project: Tools (JBoss Tools)
Issue Type: Bug
Components: common
Affects Versions: 3.2.0.Beta2
Reporter: Vitali Yemialyanchyk
Assignee: Viacheslav Kabanovich
Priority: Minor
Fix For: 3.2.0.Beta2
Crtl-Ins, Shift-Ins, Ctrl-C, Ctrl-V, Ctrl-X - does not work.
--
This message is automatically generated by JIRA.
-
For more information on JIRA, see: http://www.atlassian.com/software/jira