Some simplifications in EditorMouseListener