@Override
        public void caretPositionChanged(@NotNull CaretEvent e) {
          navigate(true, e.getNewPosition());
        }
@Override
        public void caretPositionChanged(@NotNull CaretEvent e)