#183 title bar not updated when a buffer gets saved

minor bug
closed-fixed
Slava Pestov
5
2000-10-26
2000-10-25
Anonymous
No

When a new buffer is saved, the title bar is not updated from 'Untitled-x' to the name of the file. Locally, I added a call to updateTitle() on line 1020 of View.java, and it seems to be working (but not knowing jEdit's internals at all, I don't know whether that will fix things).

This is occuring in jEdit-2.6pre9.

Discussion

  • Slava Pestov
    Slava Pestov
    2000-10-26

    • assigned_to: nobody --> spestov
    • status: open --> closed-fixed