commit | 994104134904b05f1b58080d30197e09598c7c20 | [log] [tgz] |
---|---|---|
author | darins | Tue Dec 07 17:34:41 2004 +0000 |
committer | darins | Tue Dec 07 17:34:41 2004 +0000 |
tree | 80aa5acda604ed1dc7c13728a6074ccbcd4b0ed3 | |
parent | 00e8cfc8e8de69a39901385ee2bfab377218da30 [diff] |
Bug 80382 - Copy/Paste results in a divide by 0 error in the Ant editor
diff --git a/ant/org.eclipse.ant.ui/Ant Editor/org/eclipse/ant/internal/ui/editor/AntAutoEditStrategy.java b/ant/org.eclipse.ant.ui/Ant Editor/org/eclipse/ant/internal/ui/editor/AntAutoEditStrategy.java index 0d48f6e..87f2670 100644 --- a/ant/org.eclipse.ant.ui/Ant Editor/org/eclipse/ant/internal/ui/editor/AntAutoEditStrategy.java +++ b/ant/org.eclipse.ant.ui/Ant Editor/org/eclipse/ant/internal/ui/editor/AntAutoEditStrategy.java
@@ -310,6 +310,6 @@ * @return the number of spaces displayed for a tabulator in the editor */ private int getVisualTabLengthPreference() { - return AntUIPlugin.getDefault().getPreferenceStore().getInt(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_TAB_WIDTH); + return AntUIPlugin.getDefault().getCombinedPreferenceStore().getInt(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_TAB_WIDTH); } } \ No newline at end of file