[jbosstools-issues] [JBoss JIRA] Created: (JBIDE-7391) Properties Editor -> Filter -> does not support clipboard operation

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 Crtl-Ins, Shift-Ins, Ctrl-C, Ctrl-V, Ctrl-X - does not work. -- This message is automatically generated by JIRA. - If you think it was sent incorrectly contact one of the administrators: https://jira.jboss.org/secure/Administrators.jspa - For more information on JIRA, see: http://www.atlassian.com/software/jira