#864 [4.0] Soft tabs isn't strictly enforced

[Calvin Yu]

Even with the soft tabs option set to true in both
buffer options and global options, tab characters are
being used when the tab button is pressed. Auto
indenting and smart indenting works fine.

[message] Log: java.version=1.3.1_01
[message] Log: java.vm.version=1.3.1_01
[message] Log: java.runtime.version=1.3.1_01
[message] Log: java.vendor=Sun Microsystems Inc.
[message] Log: java.compiler=null
[message] Log: os.name=Windows 2000
[message] Log: os.version=5.0
[notice] jEdit: jEdit version 4.0pre4

Calvin

[Slava Pestov]

Logged In: YES
user_id=2280

fixed in next release