Changeset 3694 for devel-tools/trunk


Ignore:
Timestamp:
Apr 14, 2008, 7:04:12 PM (13 years ago)
Author:
yura
Message:
  • Delete formatters for Expr and Result.
File:
1 edited

Legend:

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

    r3682 r3694  
    66import org.eclipse.core.runtime.IStatus;
    77import org.eclipse.core.runtime.Status;
     8import org.eclipse.jdt.internal.debug.ui.IJDIPreferencesConstants;
     9import org.eclipse.jdt.internal.debug.ui.JDIDebugUIPlugin;
    810import org.eclipse.jface.preference.IPreferenceStore;
    911import org.eclipse.swt.widgets.Shell;
     
    2931    private static HashMap<IProject, ProjectPropertiesStore> stores = null;
    3032    private static RfpPartitionScanner partitionScanner = null;
     33
     34    // Deprecated
     35    static {
     36        String formatters = "org.refal.plus.Expr,return formattedRepresentation();,1"
     37                + ",org.refal.plus.Result,return expr == null ? null : expr.formattedRepresentation();,1";
     38        IPreferenceStore store = JDIDebugUIPlugin.getDefault().getPreferenceStore();
     39        String str = store.getString(IJDIPreferencesConstants.PREF_DETAIL_FORMATTERS_LIST);
     40        if (str != null && str.contains(formatters)) {
     41            str.replaceAll(formatters, "");
     42            str.replaceAll(",,", ",");
     43            if (str.startsWith(","))
     44                str.substring(1);
     45            if (str.endsWith(","))
     46                str.substring(0, str.length() - 1);
     47            if (str.equals(""))
     48                store.setToDefault(IJDIPreferencesConstants.PREF_DETAIL_FORMATTERS_LIST);
     49            else
     50                store.setValue(IJDIPreferencesConstants.PREF_DETAIL_FORMATTERS_LIST, str);
     51        }
     52    }
    3153
    3254    /**
Note: See TracChangeset for help on using the changeset viewer.