Re: [ jEdit-users ] Markers

[Todd P. <to...@da...>]

--On Wednesday, December 06, 2000 6:01 PM +1100 Slava Pestov <sp...@gj...> wrote:

> Does anybody actually *use* the markers feature?

Yes! Every day. I used to love that feature in vi, and love jedit even
more for having it. Please don't axe it!

There is a bug in 3.0pre4 though. If you use the Go To marker menu
option the cursor disappears, and you can not type any text into
the text area. You can however, still delete the line.

Todd

-- 
 Todd Papaioannou @ Earth  http://www.luckyspin.org
 Luckyspin @ TerraFirmA   http://terrafirma.terra.mud.org
 Why search for life when you can create it? http://www.dalilab.com
.         .        .       .      .     .    .   .  .  . .