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}