Changeset 3646 for devel-tools


Ignore:
Timestamp:
Mar 31, 2008, 6:27:44 PM (13 years ago)
Author:
yura
Message:
  • Refal Runtime generated without line information - step filter does not needed.
  • rfpdt.runtime -> rfpdt.lib.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • devel-tools/trunk/eclipse/org.refal.rfpdt.ui/src/org/refal/rfpdt/ui/RfpUI.java

    r3640 r3646  
    2424    public static final String PLUGIN_ID = "org.refal.rfpdt.ui";
    2525    public static final String RFP_EDITING_KEYBINDING_SCOPE = "org.refal.rfpdt.editor.rfpEditorScope";
    26     public static final String RFP_DEFAULTS = "org.refal.rfpdt.ui.rfpDefaults";
    2726
    28     private static final String filters = "org.refal.plus.Expr,org.refal.plus.Expr$InplaceConcatenator"
    29             + ",org.refal.plus.Expr$Iterator,org.refal.plus.Expr$ListConcatenator"
    30             + ",org.refal.plus.Expr$ListConcatenator$ParenthesesMarker,org.refal.plus.Expr$SplitIterator"
    31             + ",org.refal.plus.Native,org.refal.plus.RefalException,org.refal.plus.Result";
    3227    private static final String formatters = "org.refal.plus.Expr,return formattedRepresentation();,1"
    3328            + ",org.refal.plus.Result,return expr == null ? null : expr.formattedRepresentation();,1";
     
    4035    static {
    4136        IPreferenceStore store = JDIDebugUIPlugin.getDefault().getPreferenceStore();
    42         if (!store.getBoolean(RfpUI.RFP_DEFAULTS)) {
    43             {
    44                 String str = store.getString(IJDIPreferencesConstants.PREF_ACTIVE_FILTERS_LIST);
    45                 if (str == null)
    46                     str = "";
    47                 if (str.length() != 0)
    48                     str += ",";
    49                 str += filters;
    50                 store.setValue(IJDIPreferencesConstants.PREF_ACTIVE_FILTERS_LIST, str);
    51             }
    52             {
    53                 String str = store.getString(IJDIPreferencesConstants.PREF_DETAIL_FORMATTERS_LIST);
    54                 if (str == null)
    55                     str = "";
    56                 if (str.length() != 0)
    57                     str += ",";
    58                 str += formatters;
    59                 store.setValue(IJDIPreferencesConstants.PREF_DETAIL_FORMATTERS_LIST, str);
    60             }
    61             store.setValue(RfpUI.RFP_DEFAULTS, true);
     37        String str = store.getString(IJDIPreferencesConstants.PREF_DETAIL_FORMATTERS_LIST);
     38        if (str == null)
     39            str = "";
     40        if (!str.contains("org.refal.plus.Expr")) {
     41            if (str.length() != 0)
     42                str += ",";
     43            str += formatters;
     44            store.setValue(IJDIPreferencesConstants.PREF_DETAIL_FORMATTERS_LIST, str);
    6245        }
    6346    }
Note: See TracChangeset for help on using the changeset viewer.