@@ -223,10 +223,11 @@ private boolean isFocusedIndex(int index) { return index == focusedIndex; } + @SuppressWarnings("deprecation") void setFont(Font newFont) { if (newFont != font) { font = newFont; fm = Toolkit.getDefaultToolkit().getFontMetrics(font); // Also cache stuff like fontHeight?