jbosstools/jbosstools-vpe — pull request #142 by kmarmaliykov (2013-07-17 11:02:44+00:00)
Title: JBIDE-15247 Edit in preferences does not edit focused device, but edits active device.

fixed