コード例 #1
0
  /** @generated */
  public static void initDefaults(IPreferenceStore store) {

    String key = ActivityDiagramEditPart.MODEL_ID + "_OutputPin";
    store.setDefault(
        PreferenceConstantHelper.getElementConstant(key, PreferenceConstantHelper.WIDTH), 16);
    store.setDefault(
        PreferenceConstantHelper.getElementConstant(key, PreferenceConstantHelper.HEIGHT), 16);

    Map<String, Boolean> map = getStaticLabelVisibilityPreferences();

    for (String role : map.keySet()) {
      String preferenceName =
          PreferenceConstantHelper.getLabelElementConstant(
              key, role, PreferenceConstantHelper.LABEL_VISIBILITY);
      store.setDefault(preferenceName, map.get(role));
    }

    // org.eclipse.jface.preference.PreferenceConverter.setDefault(store,
    // org.eclipse.papyrus.infra.gmfdiag.preferences.utils.PreferenceConstantHelper.getElementConstant(elementName, org.eclipse.papyrus.infra.gmfdiag.preferences.utils.PreferenceConstantHelper.COLOR_FILL), new org.eclipse.swt.graphics.RGB(255, 255, 255));
    // org.eclipse.jface.preference.PreferenceConverter.setDefault(store,
    // org.eclipse.papyrus.infra.gmfdiag.preferences.utils.PreferenceConstantHelper.getElementConstant(elementName, org.eclipse.papyrus.infra.gmfdiag.preferences.utils.PreferenceConstantHelper.COLOR_LINE), new org.eclipse.swt.graphics.RGB(0, 0, 0));

    // Set the default for the gradient
    // store.setDefault(org.eclipse.papyrus.infra.gmfdiag.preferences.utils.PreferenceConstantHelper.getElementConstant(elementName, org.eclipse.papyrus.infra.gmfdiag.preferences.utils.PreferenceConstantHelper.GRADIENT_POLICY),false);
    // org.eclipse.papyrus.infra.gmfdiag.preferences.utils.GradientPreferenceConverter
    // gradientPreferenceConverter = new
    // org.eclipse.papyrus.infra.gmfdiag.preferences.utils.GradientPreferenceConverter(
    //		new org.eclipse.swt.graphics.RGB(255, 255, 255),
    //		new org.eclipse.swt.graphics.RGB(0, 0, 0), 0, 0);
    // store.setDefault(org.eclipse.papyrus.infra.gmfdiag.preferences.utils.PreferenceConstantHelper.getElementConstant(elementName, org.eclipse.papyrus.infra.gmfdiag.preferences.utils.PreferenceConstantHelper.COLOR_GRADIENT), gradientPreferenceConverter.getPreferenceValue());

  }
コード例 #2
0
 public void initializeDefaultValues(IProject project) {
   IPreferenceStore store = new ProjectPropertyStore(project);
   store.setDefault(CFMLPreferenceConstants.P_SNIPPETS_PATH, preferenceManager.snippetsPath());
   store.setDefault(CFMLPreferenceConstants.P_PROJECT_URL, preferenceManager.defaultProjectURL());
   store.setDefault(
       CFMLPreferenceConstants.P_DEFAULT_HELP_URL, preferenceManager.defaultHelpURL());
 }
コード例 #3
0
ファイル: Preference.java プロジェクト: arunlodhi/olca-app
 @Override
 public void initializeDefaultPreferences() {
   IPreferenceStore store = RcpActivator.getDefault().getPreferenceStore();
   store.setDefault(PASSWORD, "");
   store.setDefault(USER, "user");
   store.setDefault(URL, "http://host-adress.web/path/resource");
 }
コード例 #4
0
 @Override
 public void initializeDefaultPreferences() {
   IPreferenceStore store = Activator.getDefault().getPreferenceStore();
   store.setDefault(PreferenceConstants.P_CRITERIA_TABLE_ALTERNATIVES_IN_ROWS, true);
   store.setDefault(PreferenceConstants.P_ALTERNATIVES_TABLE_EXPERTS_IN_ROWS, true);
   store.setDefault(PreferenceConstants.P_EXPERTS_TABLE_ALTERNATIVES_IN_ROWS, true);
 }
コード例 #5
0
 /** @generated */
 public static void initDefaults(IPreferenceStore store) {
   String key = ActivityDiagramEditPart.MODEL_ID + "_ActivityCN";
   store.setDefault(
       PreferencesConstantsHelper.getElementConstant(key, PreferencesConstantsHelper.WIDTH), 200);
   store.setDefault(
       PreferencesConstantsHelper.getElementConstant(key, PreferencesConstantsHelper.HEIGHT), 100);
   for (String name : compartments) {
     String preferenceName =
         PreferencesConstantsHelper.getCompartmentElementConstant(
             key, name, PreferencesConstantsHelper.COMPARTMENT_VISIBILITY);
     store.setDefault(preferenceName, true);
   }
   // org.eclipse.jface.preference.PreferenceConverter.setDefault(store,
   // org.eclipse.papyrus.infra.gmfdiag.common.preferences.PreferencesConstantsHelper.getElementConstant(elementName, org.eclipse.papyrus.infra.gmfdiag.common.preferences.PreferencesConstantsHelper.COLOR_FILL), new org.eclipse.swt.graphics.RGB(255, 255, 255));
   // org.eclipse.jface.preference.PreferenceConverter.setDefault(store,
   // org.eclipse.papyrus.infra.gmfdiag.common.preferences.PreferencesConstantsHelper.getElementConstant(elementName, org.eclipse.papyrus.infra.gmfdiag.common.preferences.PreferencesConstantsHelper.COLOR_LINE), new org.eclipse.swt.graphics.RGB(0, 0, 0));
   // Set the default for the gradient
   // store.setDefault(org.eclipse.papyrus.infra.gmfdiag.common.preferences.PreferencesConstantsHelper.getElementConstant(elementName, org.eclipse.papyrus.infra.gmfdiag.common.preferences.PreferencesConstantsHelper.GRADIENT_POLICY),false);
   // org.eclipse.papyrus.infra.gmfdiag.preferences.utils.GradientPreferenceConverter
   // gradientPreferenceConverter = new
   // org.eclipse.papyrus.infra.gmfdiag.preferences.utils.GradientPreferenceConverter(
   //		new org.eclipse.swt.graphics.RGB(255, 255, 255),
   //		new org.eclipse.swt.graphics.RGB(0, 0, 0), 0, 0);
   // store.setDefault(org.eclipse.papyrus.infra.gmfdiag.common.preferences.PreferencesConstantsHelper.getElementConstant(elementName, org.eclipse.papyrus.infra.gmfdiag.common.preferences.PreferencesConstantsHelper.COLOR_GRADIENT), gradientPreferenceConverter.getPreferenceValue());
 }
コード例 #6
0
  @Override
  public void initializeDefaultPreferences() {

    IPreferenceStore store = Activator.getDefault().getPreferenceStore();
    store.setDefault(NavigationConstants.SEARCH_TYPE, NavigationConstants.NONE);
    store.setDefault(NavigationConstants.SHOW_MODE_LABEL, false);
  }
コード例 #7
0
 /*
  * (non-Javadoc)
  *
  * @see org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer#initializeDefaultPreferences()
  */
 public void initializeDefaultPreferences() {
   IPreferenceStore store = Activator.getDefault().getPreferenceStore();
   store.setDefault(PreferenceConstants.P_LIVE_FEEDBACK, true);
   store.setDefault(PreferenceConstants.P_DEBUG, false);
   store.setDefault(PreferenceConstants.P_BUILD_FEEDBACK, false);
   /*		store.setDefault(PreferenceConstants.P_CHOICE, "choice2");
   		store.setDefault(PreferenceConstants.P_STRING, "Default value");
   */ }
コード例 #8
0
 static {
   // Initialize the default preference values.
   IPreferenceStore store = ImportXMLPlugin.getDefault().getPreferenceStore();
   store.setDefault(XML_FILE, ""); // $NON-NLS-1$
   store.setDefault(MERGE_OPTION, false);
   store.setDefault(MERGE_LEVEL, 0);
   store.setDefault(CHECK_BASE_PLUGINS_OPTION, true);
 }
コード例 #9
0
 /**
  * Initializes the default preferences for the runner.
  *
  * @param pref preferences
  * @param dir directory for looking up the runner executable
  */
 public void initializeDefaults(IPreferenceStore pref, String dir) {
   pref.setDefault(getCommandPreferenceName(), getDefaultProgramFile(dir));
   String defaultArgs = runner.getDefaultArguments();
   if (defaultArgs == null) {
     defaultArgs = "%input";
   }
   pref.setDefault(getArgumentsPreferenceName(), defaultArgs);
 }
コード例 #10
0
  public static void initDefaults(IPreferenceStore store) {
    store.setDefault(SRCBIN_FOLDERS_IN_NEWPROJ, true);
    store.setDefault(SRCBIN_SRCNAME, "src"); // $NON-NLS-1$
    store.setDefault(SRCBIN_BINNAME, "bin"); // $NON-NLS-1$

    store.setDefault(CLASSPATH_JRELIBRARY_LIST, getDefaultJRELibraries());
    store.setDefault(CLASSPATH_JRELIBRARY_INDEX, 0);
  }
コード例 #11
0
 @Override
 public void initializeDefaultPreferences() {
   IPreferenceStore store = Activator.getDefault().getPreferenceStore();
   // 预翻译设置默认值
   store.setDefault(IPreTransConstants.LOCK_FULL_MATCH, false);
   store.setDefault(IPreTransConstants.LOCK_CONTEXT_MATCH, false);
   store.setDefault(IPreTransConstants.UPDATE_STRATEGY, IPreTransConstants.UPDATE_KEEP_NOW);
 }
コード例 #12
0
ファイル: ErlideUIPlugin.java プロジェクト: xingbei437/erlide
  private void loadDefaultEditorColors() {
    final IPreferenceStore rootStore = getPreferenceStore();

    for (final TokenHighlight th : TokenHighlight.values()) {
      final HighlightStyle data = th.getDefaultStyle();
      rootStore.setDefault(th.getColorKey(), StringConverter.asString(data.getColor()));
      rootStore.setDefault(th.getStylesKey(), data.getStyles());
    }
  }
コード例 #13
0
 @Override
 protected void initializeDefaultPreferences(IPreferenceStore store) {
   store.setDefault(IS_CUT_AND_COPY_HISTORY_ENABLED, defaultIS_CUT_AND_COPY_HISTORY_ENABLED);
   store.setDefault(MAX_HISTORY_COUNT, defaultMAX_HISTORY_COUNT);
   store.setDefault(PASTE_NEXT_DELAY, defaultPASTE_NEXT_DELAY);
   store.setDefault(
       IS_QUICK_PASTE_CYCLES_THROUGH_HISTORY_ENABLED,
       defaultIS_QUICK_PASTE_CYCLES_THROUGH_HISTORY_ENABLED);
 }
コード例 #14
0
  public void initializeDefaultPreferences() {
    IPreferenceStore store = RustPlugin.getDefault().getPreferenceStore();
    store.setDefault(PreferenceConstants.P_BOOLEAN, true);
    store.setDefault(PreferenceConstants.P_CHOICE, "choice2");
    store.setDefault(PreferenceConstants.P_STRING, "Default value");

    store.setDefault(PreferenceConstants.RUST_C, "/usr/local/bin/");
    store.setDefault(PreferenceConstants.P_PATH, "");
  }
コード例 #15
0
 /**
  * @see
  *     org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer#initializeDefaultPreferences()
  */
 public void initializeDefaultPreferences() {
   IPreferenceStore store = IntroPlugin.getDefault().getPreferenceStore();
   store.setDefault(IPreferenceConstants.INSTALL_PRO_AND_REQUIRED_FEATURES, true);
   store.setDefault(
       IPreferenceConstants.SHOW_STARTPAGE_ON_STARTUP, IPreferenceConstants.ALWAYS_SHOW);
   // by default uses My Aptana page
   store.setDefault(IPreferenceConstants.INTRO_EDITOR_ID, MyAptanaEditor.ID);
   store.setDefault(
       IPreferenceConstants.INTRO_TOOLBAR_IMAGE_LOCATION, DEFAULT_REMOTE_IMAGE_LOCATION);
 }
 // For new applications, change the names of the databases in the lines below.
 @Override
 public void initializeDefaultPreferences() {
   IPreferenceStore store = ApplicationControllers.getApplication().getPreferenceStore();
   super.initializeDefaultPreferences();
   store.setDefault(
       DatabasePreferenceConstants.MYSQL_DATABASE_CONNECTION_URL,
       "jdbc:mysql://localhost:3306/pediatricVentilator");
   store.setDefault(
       DatabasePreferenceConstants.TARGET_DATABASE_CONNECTION_URL,
       "jdbc:mysql://localhost:3306/targetPediatricVentilator");
 }
コード例 #17
0
ファイル: Activator.java プロジェクト: henriknj/overture
 /** Initializes a preference store with default preference values for this plug-in. */
 @Override
 protected void initializeDefaultPreferences(IPreferenceStore store) {
   store.setDefault(
       ICodeGenConstants.GENERATE_CHAR_SEQUENCES_AS_STRINGS,
       ICodeGenConstants.GENERATE_CHAR_SEQUENCES_AS_STRING_DEFAULT);
   store.setDefault(ICodeGenConstants.DISABLE_CLONING, ICodeGenConstants.DISABLE_CLONING_DEFAULT);
   store.setDefault(
       ICodeGenConstants.GENERATE_CONCURRENCY_MECHANISMS,
       ICodeGenConstants.GENERATE_CONCURRENCY_MECHANISMS_DEFAULT);
   store.setDefault(ICodeGenConstants.CLASSES_TO_SKIP, ICodeGenConstants.CLASSES_TO_SKIP_DEFAULT);
   store.setDefault(ICodeGenConstants.JAVA_PACKAGE, ICodeGenConstants.JAVA_PACKAGE_DEFAULT);
   store.setDefault(ICodeGenConstants.GENERATE_JML, ICodeGenConstants.GENERATE_JML_DEFAULT);
 }
コード例 #18
0
  public void initializeDefaultPreferences() {

    initializeDefaultSyntaxHighlighting();
    initializeDefaultBrackets();

    org.eclipse.jface.preference.IPreferenceStore store =
        ASP.resource.ASP.ui.ASPUIPlugin.getDefault().getPreferenceStore();
    // Set default value for matching brackets
    store.setDefault(
        ASP.resource.ASP.ui.ASPPreferenceConstants.EDITOR_MATCHING_BRACKETS_COLOR, "192,192,192");
    store.setDefault(
        ASP.resource.ASP.ui.ASPPreferenceConstants.EDITOR_MATCHING_BRACKETS_CHECKBOX, true);
  }
コード例 #19
0
 public void initializeDefaultPreferences() {
   IPreferenceStore store = Activator.getDefault().getPreferenceStore();
   store.setDefault(PreferenceConstants.P_ANTLR4_JAR_PATH, "");
   store.setDefault(PreferenceConstants.P_ANTLR4_LIBRARY_DIRECTORY, "");
   store.setDefault(PreferenceConstants.P_ANTLR4_GENERATE_ATN, false);
   store.setDefault(PreferenceConstants.P_ANTLR4_LONG_MESSAGES, false);
   store.setDefault(PreferenceConstants.P_ANTLR4_GENERATE_LISTENER, true);
   store.setDefault(PreferenceConstants.P_ANTLR4_GENERATE_VISITOR, false);
   store.setDefault(PreferenceConstants.P_ANTLR4_GENERATE_DEPENDENCIES, false);
   store.setDefault(PreferenceConstants.P_ANTLR4_WARNINGS_AS_ERRORS, false);
   store.setDefault(PreferenceConstants.P_ANTLR4_LAUNCH_ST_INSPECTOR, false);
   store.setDefault(PreferenceConstants.P_ANTLR4_WAIT_FOR_ST_CLOSE, false);
   store.setDefault(PreferenceConstants.P_ANTLR4_FORCE_ATN, false);
 }
コード例 #20
0
  @Override
  public void initializeDefaultPreferences() {
    IPreferenceStore store = RentalUIActivator.getDefault().getPreferenceStore();

    RGB black = new RGB(0, 0, 0);
    RGB red = new RGB(255, 0, 0);
    RGB green = new RGB(0, 255, 0);
    RGB blue = new RGB(0, 0, 255);
    store.setDefault(PREF_COLOR_AGENCIES, StringConverter.asString(black));
    store.setDefault(PREF_COLOR_CUSTOMERS, StringConverter.asString(red));
    store.setDefault(PREF_COLOR_RENTAL_OBJECTS, StringConverter.asString(green));
    store.setDefault(PREF_COLOR_RENTALS, StringConverter.asString(blue));

    store.setDefault(PREF_PALETTE, "com.st.rental.ui.palette.default");
  }
コード例 #21
0
  /**
   * Initializes the default preference values for this preference store.
   *
   * @param preferenceStore the preference store.
   * @generated NOT
   */
  public static void initDefaults(IPreferenceStore preferenceStore) {

    RulerGridPreferencePage.initDefaults(preferenceStore);

    // sets to show rulers.
    preferenceStore.setDefault(IPreferenceConstants.PREF_SHOW_RULERS, true);
  }
コード例 #22
0
 public void initializeDefaultPreferences() {
   IPreferenceStore store = Activator.getDefault().getPreferenceStore();
   store.setDefault(
       DiviConfiguration.P_ANNOTATIONS,
       DiviConfiguration.createAnnotationPreference(
           DiviConfiguration.DEFAULT_INJECT_ANNOTATION_ARRAY));
 }
コード例 #23
0
 @Override
 protected void connectPartitioningToElement(IEditorInput input, IDocument document) {
   if (document instanceof IDocumentExtension3) {
     IDocumentExtension3 extension = (IDocumentExtension3) document;
     if (extension.getDocumentPartitioner(IXQueryPartitions.XQUERY_PARTITIONING) == null) {
       XQueryDocumentSetupParticipant participant = new XQueryDocumentSetupParticipant();
       participant.setup(document);
     }
   }
   if (!(input instanceof IFileEditorInput)) {
     // disable folding
     IPreferenceStore store = XQueryUI.getDefault().getPreferenceStore();
     store.setDefault(PreferenceConstants.EDITOR_FOLDING_ENABLED, false);
     store.setDefault(PreferenceConstants.EDITOR_COMMENTS_FOLDING_ENABLED, false);
   }
 }
コード例 #24
0
 @Override
 public void initializeDefaultPreferences() {
   IPreferenceStore store = KWindow.getPrefs();
   if (store != null) {
     // TODO: Add deault preferences here
     store.setDefault(GeneralPreferencePage.MY_STRING_1, "http://www.vogella.com");
   }
 }
コード例 #25
0
 public PropertyChangeUpdateAction(
     String text, IPreferenceStore store, String preferenceKey, boolean defaultValue) {
   super(text, IAction.AS_CHECK_BOX);
   fPreferenceKey = preferenceKey;
   fStore = store;
   fStore.setDefault(getPreferenceKey(), defaultValue);
   setId(getPreferenceKey());
   setChecked(getPreferenceStore().getBoolean(getPreferenceKey()));
 }
コード例 #26
0
 /*
  * (non-Javadoc)
  *
  * @see org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer#
  * initializeDefaultPreferences()
  */
 public void initializeDefaultPreferences() {
   IPreferenceStore store = ClientComPlugin.getDefault().getPreferenceStore();
   store.setDefault(PreferenceConstants.P_BAUD_RATE, 115200);
   store.setDefault(PreferenceConstants.P_DATA_BITS, "8");
   store.setDefault(PreferenceConstants.P_FOLLOW_CONTROL_IN, "None");
   store.setDefault(PreferenceConstants.P_FOLLOW_CONTROL_OUT, "None");
   store.setDefault(PreferenceConstants.P_PARITY, "None");
   store.setDefault(PreferenceConstants.P_PORT_NAME, "COM3");
   store.setDefault(PreferenceConstants.P_STOP_BITS, "1");
   store.setDefault(PreferenceConstants.P_READ_INTERVAL, 1500);
 }
コード例 #27
0
 /** @generated */
 public static void initDefaults(IPreferenceStore store) {
   String key = UseCaseDiagramEditPart.MODEL_ID + "_PackageImport";
   Map<String, Boolean> map = getStaticLabelVisibilityPreferences();
   for (String role : map.keySet()) {
     String preferenceName =
         PreferencesConstantsHelper.getLabelElementConstant(
             key, role, PreferencesConstantsHelper.LABEL_VISIBILITY);
     store.setDefault(preferenceName, map.get(role));
   }
 }
コード例 #28
0
  /**
   * Initialize defaults using a specified {@link IPreferenceStore}
   *
   * @param store the preference store.
   */
  public static void initDefaults(IPreferenceStore store) {
    // Start of user code custom default initializations
    // End of user code

    for (String labelName : labelDefaultVisibilityMap.keySet()) {
      String showLabelKey =
          PreferenceConstantHelper.getCompartmentElementConstant(
              prefKey, labelName, PreferenceConstantHelper.LABEL_VISIBILITY);
      store.setDefault(showLabelKey, labelDefaultVisibilityMap.get(labelName));
    }
  }
コード例 #29
0
 /*
  * (non-Javadoc)
  *
  * @seeorg.eclipse.core.runtime.preferences.AbstractPreferenceInitializer#
  * initializeDefaultPreferences()
  */
 @Override
 public void initializeDefaultPreferences() {
   store.setDefault(PROPERTY_DIAGRAM_FOLDER, PROPERTY_VAL_DIAGRAM_FOLDER);
   store.setDefault(PROPERTY_ENTITY_PACKAGE, PROPERTY_VAL_ENTITY_PACKAGE);
   store.setDefault(PROPERTY_TABLE_NAME_PREFIX, PROPERTY_VAL_PREFIX);
   store.setDefault(PROPERTY_DIRECT_EDIT_CLASS_NAME, true);
   store.setDefault(PROPERTY_ENTITY_ACCESS_TYPE, PROPERTY_VAL_ACCESS_FIELD_BASED);
   store.setDefault(PROPERTY_DEFAULT_COLLECTION_TYPE, PROPERTY_VAL_COLLECTION_TYPE);
   store.setDefault(PROPERTY_ONE_TO_MANY_OLD_STYLE, false);
   store.setDefault(PROPERTY_DEFAULT_SUPPORT_ORM_XML, false);
   store.setDefault(
       PROPERTY_DEFAULT_ORM_XML_FILE_NAME, XmlEntityMappings.DEFAULT_RUNTIME_PATH_NAME);
 }
  /**
   * Initializes the given preference store with the default marker annotation values.
   *
   * @param store the preference store to be initialized
   * @since 3.0
   */
  public static void initializeDefaultValues(IPreferenceStore store) {

    boolean ignoreAnnotationsPrefPage =
        store.getBoolean(
            AbstractDecoratedTextEditorPreferenceConstants.USE_ANNOTATIONS_PREFERENCE_PAGE);
    boolean ignoreQuickDiffPrefPage =
        store.getBoolean(
            AbstractDecoratedTextEditorPreferenceConstants.USE_QUICK_DIFF_PREFERENCE_PAGE);

    MarkerAnnotationPreferences preferences =
        EditorsPlugin.getDefault().getMarkerAnnotationPreferences();
    Iterator<AnnotationPreference> e = preferences.getAnnotationPreferences().iterator();
    while (e.hasNext()) {
      AnnotationPreference info = e.next();

      if (ignoreAnnotationsPrefPage && info.isIncludeOnPreferencePage() && isComplete(info))
        continue;

      if (ignoreQuickDiffPrefPage
          && (info.getAnnotationType()
                  .equals("org.eclipse.ui.workbench.texteditor.quickdiffChange") // $NON-NLS-1$
              || (info.getAnnotationType()
                  .equals("org.eclipse.ui.workbench.texteditor.quickdiffAddition")) // $NON-NLS-1$
              || (info.getAnnotationType()
                  .equals("org.eclipse.ui.workbench.texteditor.quickdiffDeletion")) // $NON-NLS-1$
          )) continue;

      store.setDefault(info.getTextPreferenceKey(), info.getTextPreferenceValue());
      store.setDefault(
          info.getOverviewRulerPreferenceKey(), info.getOverviewRulerPreferenceValue());
      if (info.getVerticalRulerPreferenceKey() != null)
        store.setDefault(
            info.getVerticalRulerPreferenceKey(), info.getVerticalRulerPreferenceValue());
      PreferenceConverter.setDefault(
          store, info.getColorPreferenceKey(), info.getColorPreferenceValue());
      if (info.getShowInNextPrevDropdownToolbarActionKey() != null)
        store.setDefault(
            info.getShowInNextPrevDropdownToolbarActionKey(),
            info.isShowInNextPrevDropdownToolbarAction());
      if (info.getIsGoToNextNavigationTargetKey() != null)
        store.setDefault(
            info.getIsGoToNextNavigationTargetKey(), info.isGoToNextNavigationTarget());
      if (info.getIsGoToPreviousNavigationTargetKey() != null)
        store.setDefault(
            info.getIsGoToPreviousNavigationTargetKey(), info.isGoToPreviousNavigationTarget());
      if (info.getHighlightPreferenceKey() != null)
        store.setDefault(info.getHighlightPreferenceKey(), info.getHighlightPreferenceValue());
      if (info.getTextStylePreferenceKey() != null)
        store.setDefault(info.getTextStylePreferenceKey(), info.getTextStyleValue());
    }
  }