Various issues with source/editor navigation on linux ----------------------------------------------------- Key: JBIDE-17654 URL: https://issues.jboss.org/browse/JBIDE-17654 Project: Tools (JBoss Tools) Issue Type: Bug Components: visual-page-editor-core Affects Versions: 4.2.0.Beta2 Reporter: Konstantin Marmalyukov Assignee: Konstantin Marmalyukov Fix For: 4.2.0.Beta3 On Linux when using old xulrunner this navigation features doesn't work 1. Disabling inputs 2. Navigation from visual part to source part 3. Outlining selected elements