001package apps; 002 003import jmri.*; 004 005import apps.gui3.tabbedpreferences.EditConnectionPreferencesDialog; 006 007import jmri.implementation.JmriConfigurationManager; 008 009public class AppsConfigurationManager extends JmriConfigurationManager { 010 011 @Override 012 protected boolean isEditDialogRestart() { 013 if (! InstanceManager.getDefault(PermissionManager.class) 014 .ensureAtLeastPermission(PermissionsSystemAdmin.PERMISSION_EDIT_PREFERENCES, 015 BooleanPermission.BooleanValue.TRUE)) { 016 return false; 017 } 018 return EditConnectionPreferencesDialog.showDialog(); 019 } 020}