privatestaticvoid createGui() { try {
UIManager.setLookAndFeel("com.sun.java.swing.plaf.windows.WindowsLookAndFeel");
isWinLaf = true;
} catch (Exception e) { // If we can't set WinLaf it means we are not under Windows // make the test pass
isWinLaf = false; return;
}
frame = new JFrame();
frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
staticvoid assertPopupOpen() { if (getLastPopup() == null) { thrownew RuntimeException("PopupMenu is not open");
}
}
staticvoid assertPopupNotOpen() { if (getLastPopup() != null) { thrownew RuntimeException("PopupMenu is unexpectedly open");
}
}
// copied from BasicPopupMenuUI static JPopupMenu getLastPopup() {
MenuSelectionManager msm = MenuSelectionManager.defaultManager();
MenuElement[] p = msm.getSelectedPath();
JPopupMenu popup = null;
for (int i = p.length - 1; popup == null && i >= 0; i--) { if (p[i] instanceof JPopupMenu)
popup = (JPopupMenu) p[i];
} return popup;
}
}
Messung V0.5 in Prozent
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.12Bemerkung:
(vorverarbeitet am 2026-10-12)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.