From: Daniel B. <dan...@de...> - 2001-05-03 19:03:50
|
I think it would be counter-intuitive. The scroll bar should really only have one purpose. Having the markers over where the gutter is and everything else is makes much more sense. Daniel ----- Original Message ----- From: "Kristian Ovaska" <kri...@he...> To: <jed...@li...> Sent: Thursday, May 03, 2001 11:36 AM Subject: Re: [ jEdit-users ] Feature Request: Document Bookmarks > 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. > > -- > Kristian Ovaska <kri...@he...> > > -- > ----------------------------------------------- > jEdit Users' List > jEd...@li... > http://lists.sourceforge.net/lists/listinfo/jedit-users > |