Attachment 3223 Details for Bug 28454 – Fixes Indentation Problems.

[patch] Fixes Indentation Problems.

patch.txt (text/plain), 1.29 KB, created by Nikolay Metchev

on 2003-01-29 20:36:28 EST

(hide)

Description:

Filename:

MIME Type:

Creator: Nikolay Metchev

Created: 2003-01-29 20:36:28 EST

Size: 1.29 KB

patch

obsolete

>Index: ui/org/eclipse/jdt/internal/ui/text/java/JavaAutoIndentStrategy.java
>===================================================================
>RCS file: /home/eclipse/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/java/JavaAutoIndentStrategy.java,v
>retrieving revision 1.28
>diff -u -r1.28 JavaAutoIndentStrategy.java
>--- ui/org/eclipse/jdt/internal/ui/text/java/JavaAutoIndentStrategy.java	10 Dec 2002 18:22:35 -0000	1.28
>+++ ui/org/eclipse/jdt/internal/ui/text/java/JavaAutoIndentStrategy.java	30 Jan 2003 01:31:59 -0000
>@@ -521,13 +521,12 @@
> 
> 	}
> 
>-	private static String createIndent(int level, boolean useSpaces) {
>+	private String createIndent(int level, boolean useSpaces) {
> 
> 		StringBuffer buffer= new StringBuffer();
> 
> 		if (useSpaces) {
>-			int tabWidth= getPreferenceStore().getInt(PreferenceConstants.EDITOR_TAB_WIDTH);
>-			int width= level * tabWidth;
>+			int width= level * getTabWidth();
> 			for (int i= 0; i != width; ++i)
> 				buffer.append(' ');
> 
>@@ -683,7 +682,7 @@
> 	
> 	private int getTabWidth() {
> 		if (fTabWidth == -1)
>-			fTabWidth= JavaPlugin.getDefault().getPreferenceStore().getInt(PreferenceConstants.EDITOR_TAB_WIDTH);
>+			fTabWidth= Integer.parseInt(((String)JavaCore.getOptions().get(JavaCore.FORMATTER_TAB_SIZE))); 
> 		return fTabWidth;
> 	}
>

Actions: View | Diff

Attachments on bug 28454: 3223