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

[Vlado Pakan (JIRA)]

     [ https://jira.jboss.org/browse/JBIDE-7391?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

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