@Nullable
  static String getMouseEventText(@Nullable MouseEvent event) {
    if (event == null) return null;

    String res = getMouseButtonText(event.getButton());
    if (event.getID() == MouseEvent.MOUSE_DRAGGED) res += "Drag";

    int clickCount = event.getClickCount();
    if (clickCount > 1) {
      res += "(" + roundClickCount(clickCount) + "x)";
    }

    int modifiers = event.getModifiersEx() & ~BUTTON1_DOWN_MASK & ~BUTTON3_DOWN_MASK & ~BUTTON2_DOWN_MASK;
    if (modifiers > 0) {
      String modifiersText = getLocaleUnawareKeyModifiersText(modifiers);
      if (!modifiersText.isEmpty()) {
        res = modifiersText + "+" + res;
      }
    }

    return res;
  }
@Nullable
  static String getMouseEventText(@Nullable MouseEvent event)