#61 tabSize buffer-local property

minor bug
closed-fixed
nobody
5
2000-11-17
2000-07-29
Slava Pestov
No

Buffer.propertiesChanged() should restore the default value of the tabSize property unless it has been explicitly set in the buffer options dialog, or with a :tabSize=n: directive in the buffer.

Discussion

  • Slava Pestov
    Slava Pestov
    2000-11-17

    jEdit 2.7 addresses this in a slightly different way.

     
  • Slava Pestov
    Slava Pestov
    2000-11-17

    • status: open --> closed-fixed