JBIDE-17654 Various issues with source/editor navigation on linux

fixed