Skip to content

Commit

Permalink
Apply soft tab without reload
Browse files Browse the repository at this point in the history
  • Loading branch information
erwan committed May 21, 2010
1 parent a737b31 commit 80056de
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 4 deletions.
Expand Up @@ -99,15 +99,14 @@ public String getStylePref(String type) {
}

@Override
protected void handlePreferenceStoreChanged(PropertyChangeEvent event) {
public void propertyChange(PropertyChangeEvent event) {
String key = event.getProperty();
System.out.println("handlePrefChanged: " + key);
if (key.equals(SOFT_TABS)) {
System.out.println("soft tabs!!");
useSoftTabs = ((Boolean)event.getNewValue()).booleanValue();
}

super.handlePreferenceStoreChanged(event);
super.propertyChange(event);
}

private void addMarker(int start, int end, String text) throws BadLocationException {
Expand Down
Expand Up @@ -35,7 +35,7 @@ public void createFieldEditors() {
{"Error", "error"}
};
addField(new ComboFieldEditor(RouteEditor.MISSING_ROUTE, "When a route is missing", missingRouteKeyValues, getFieldEditorParent()));
addField(new BooleanFieldEditor(RouteEditor.SOFT_TABS, "Use soft tabs", getFieldEditorParent()));
addField(new BooleanFieldEditor(RouteEditor.SOFT_TABS, "Indent with spaces (soft tabs)", getFieldEditorParent()));
addField(new IntegerFieldEditor(RouteEditor.SOFT_TABS_WIDTH, "Soft tabs length", getFieldEditorParent()));
}

Expand Down

0 comments on commit 80056de

Please sign in to comment.