2024-10-09 22:01:19 +03:00
|
|
|
package _VisualDVM.Visual.Menus;
|
2024-10-11 00:00:30 +03:00
|
|
|
import Common.Utils.Utils_;
|
|
|
|
|
import Common.Visual.UI_;
|
2024-10-09 22:21:57 +03:00
|
|
|
import _VisualDVM.GlobalData.GlobalDatabase;
|
2024-10-08 22:33:49 +03:00
|
|
|
import Common.Visual.Fonts.VisualiserFonts;
|
2024-10-09 22:21:57 +03:00
|
|
|
import _VisualDVM.GlobalData.Settings.SettingName;
|
2023-09-17 22:13:42 +03:00
|
|
|
|
|
|
|
|
import javax.swing.*;
|
|
|
|
|
public class SettingsSubmenu extends JMenu {
|
|
|
|
|
public SettingsSubmenu(String title, String icon, SettingName... settings) {
|
|
|
|
|
super(title);
|
|
|
|
|
if (icon != null)
|
2024-10-11 00:00:30 +03:00
|
|
|
setIcon(Utils_.getIcon(icon));
|
|
|
|
|
setFont(UI_.getTheme().Fonts.get(VisualiserFonts.Menu));
|
2023-09-17 22:13:42 +03:00
|
|
|
for (SettingName c : settings) {
|
2024-10-11 00:00:30 +03:00
|
|
|
add(((GlobalDatabase) Utils_.db).settings.get(c).getMenuItem());
|
2023-09-17 22:13:42 +03:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|