Jedit Markers - Storing Marker in jEdit settings folder as opposed to locally
Submitted by on Friday, 6 April, 2007 - 04:03
Hello all,
I use jEdit quite a bit and one of the features that I always use is the Marker feature, which allows me to get back to certain locations after having switched to another buffer.
Unfortunately jEdit markers create a temporary MARKS file locally for each file that has been "marked". This starts getting confusing, especially if there are many files in a directory.
I think it would be great to have jEdit, store this kind of information in a central location (such as the jEdit Settings Folder). As a matter of fact, jEdit already stores information about individual files, such as last line, in the jEdit settings Folder.
I'm curious to know what everyone thinks of this idea!
Sincerely,
Taha
I use jEdit quite a bit and one of the features that I always use is the Marker feature, which allows me to get back to certain locations after having switched to another buffer.
Unfortunately jEdit markers create a temporary MARKS file locally for each file that has been "marked". This starts getting confusing, especially if there are many files in a directory.
I think it would be great to have jEdit, store this kind of information in a central location (such as the jEdit Settings Folder). As a matter of fact, jEdit already stores information about individual files, such as last line, in the jEdit settings Folder.
I'm curious to know what everyone thinks of this idea!
Sincerely,
Taha
