slight tweaks to javafx mouse manager