IPreferenceStore preferenceStore = PydevDebugPlugin.getDefault().getPreferenceStore();
preferenceStore.setValue("PY_COVERAGE_NAME_COLUMNS_TO_USE", columns);
}
public static int getNameNumberOfColumns() {
PydevDebugPlugin plugin = PydevDebugPlugin.getDefault();
if (plugin == null) {
return DEFAULT_NUMBER_OF_COLUMNS_FOR_NAME;
}
IPreferenceStore preferenceStore = plugin.getPreferenceStore();
int i = preferenceStore.getInt("PY_COVERAGE_NAME_COLUMNS_TO_USE");
if (i <= 5) {
return DEFAULT_NUMBER_OF_COLUMNS_FOR_NAME;
}
if (i > 256) {