|
From: David K. <da...@th...> - 2009-08-15 03:36:16
|
I'm using jEdit pre 17 with java 1.6.0_14 on Ubuntu Jaunty. I noticed a strange problem that I'm pretty sure started with this version. I use BufferTabs, and often have a dozen or more tabs opem. Sometimes I'll go back to jEdit after a while (it may have to do with being after suspend), the buffer tab names don't match the contents. The file names will match other files that are open, but it's almost like they got randomized so the tab with file1 will have the name of file6. Closing jEdit and then reopening it fixes it (all the tabs have the right names). Any clues, or anything I can try? Thanks. |