Re: [ jEdit-users ] Feature Request: Document Bookmarks

[Slava P. <sl...@je...>]

On Thu, May 03, 2001 at 07:36:32PM +0300, Kristian Ovaska wrote:
> Slava Pestov <sl...@je...>:
> >The markers feature in the upcoming jEdit 3.2pre1 works in a very
> >different way from markers in previous jEdit versions. I think
> >you will like it.
> 
> What do you think of showing markers in the vertical scrollbar? This
> way, all markers would be visible all the time. You could jump to a
> marker by clicking it, and right-clicking would pop up a menu that
> lets you remove and rename the marker.

They are already shown in the gutter. But if you want to submit a
patch to show them in the scroll bar, go ahead.

Slava