001package jmri.jmrit.beantable; 002 003import jmri.InstanceManager; 004import jmri.UserPreferencesManager; 005 006/** 007 * Represents the settings for the Tables menu. 008 * 009 * @author Bill Hood Copyright (C) 2024 010 */ 011public class TablesSettings { 012 013 private static boolean mainMenuEnabled = false; 014 015 // Load settings when class is initialized 016 static { 017 load(); 018 } 019 020 public static boolean isMainMenuEnabled() { 021 return mainMenuEnabled; 022 } 023 024 public static void setMainMenuEnabled(boolean enabled) { 025 mainMenuEnabled = enabled; 026 } 027 028 public static void load() { 029 UserPreferencesManager prefMgr = InstanceManager.getNullableDefault(UserPreferencesManager.class); 030 if (prefMgr != null) { 031 Object pref = prefMgr.getProperty("jmri.jmrit.ToolsMenu", "showTablesMenu"); 032 if (pref instanceof Boolean) { 033 mainMenuEnabled = (Boolean) pref; 034 } 035 } 036 } 037 038 public static void save() { 039 UserPreferencesManager prefMgr = InstanceManager.getNullableDefault(UserPreferencesManager.class); 040 if (prefMgr != null) { 041 prefMgr.setProperty("jmri.jmrit.ToolsMenu", "showTablesMenu", mainMenuEnabled); 042 } 043 } 044 045}