#61 tabSize buffer-local property

minor bug
closed-fixed
nobody
5
2000-11-17
2000-07-29
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
     

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks