2024-10-07 00:58:29 +03:00
|
|
|
package Common_old.UI.List;
|
|
|
|
|
import Common_old.Current;
|
2024-10-07 14:44:24 +03:00
|
|
|
import _VisualDVM.Syntax.ThemeElement;
|
|
|
|
|
import _VisualDVM.Syntax.VisualiserFonts;
|
2023-09-17 22:13:42 +03:00
|
|
|
|
|
|
|
|
import javax.swing.*;
|
|
|
|
|
public class StyledList extends JList implements ThemeElement {
|
|
|
|
|
public StyledList() {
|
|
|
|
|
setFont(Current.getTheme().Fonts.get(VisualiserFonts.TreePlain));
|
|
|
|
|
applyTheme();
|
|
|
|
|
}
|
|
|
|
|
@Override
|
|
|
|
|
public void applyTheme() {
|
|
|
|
|
setBackground(Current.getTheme().table_background);
|
|
|
|
|
setForeground(Current.getTheme().foreground);
|
|
|
|
|
}
|
|
|
|
|
}
|