Defining the Tab Size in JDeveloper 10.1.3
By Didier Laurent on Nov 22, 2006
In JDeveloper 10.1.2, you could specify that space characters, rather than tab characters, should be used for tab settings when you pressed the Tab key.
You could also determine the "Tab Size" (number of space characters added when pressing the Tab key).
This was done through Tools -> Preferences... in the Code Editor as shown here:
In JDeveloper 10.1.3 however, the same dialog doesn't include this option:
To specify it in JDeveloper 10.1.3, you should specify it through Tools -> Preferences... in the Code Style (the entry just below Code Editor):
If you click the Edit... button, you'll access the different settings for Indentation: