@Override
      public void popupMenuWillBecomeInvisible(PopupMenuEvent e) {
        EditorGutterComponentImpl.this.putClientProperty(EDITOR_GUTTER_CONTEXT_MENU_KEY, null);
      }
@Override
      public void popupMenuWillBecomeInvisible(PopupMenuEvent e)