2024-10-09 20:35:18 +03:00
|
|
|
package Common.Visual.Controls;
|
2024-10-08 22:33:49 +03:00
|
|
|
import Common.Visual.Fonts.VisualiserFonts;
|
2024-10-14 15:19:13 +03:00
|
|
|
import Common.Visual.Themes.ThemeElement;
|
|
|
|
|
import Common.Visual.UI_;
|
2023-09-17 22:13:42 +03:00
|
|
|
|
|
|
|
|
import javax.swing.*;
|
|
|
|
|
public class StyledList extends JList implements ThemeElement {
|
|
|
|
|
public StyledList() {
|
2024-10-11 00:00:30 +03:00
|
|
|
setFont(UI_.getTheme().Fonts.get(VisualiserFonts.TreePlain));
|
2023-09-17 22:13:42 +03:00
|
|
|
applyTheme();
|
|
|
|
|
}
|
|
|
|
|
@Override
|
|
|
|
|
public void applyTheme() {
|
2024-10-11 00:00:30 +03:00
|
|
|
setBackground(UI_.getTheme().table_background);
|
|
|
|
|
setForeground(UI_.getTheme().foreground);
|
2023-09-17 22:13:42 +03:00
|
|
|
}
|
|
|
|
|
}
|