Re: [gedit-list] select line from left margin
- From: spir ☣ <denis spir gmail com>
- To: gedit-list gnome org
- Subject: Re: [gedit-list] select line from left margin
- Date: Sat, 10 Apr 2010 13:56:59 +0200
On Fri, 09 Apr 2010 21:13:19 +0200
Jesse van den Kieboom <jessevdk gnome org> wrote:
> On 09-04-10 20:07, DerekVeit wrote:
> >
> > spir-3 wrote:
> >
> >> What is the "line rendering gutter"?
> >>
> >>
> > The left margin where the line numbers are displayed.
> >
> Actually I was completely wrong. We already have this functionality, it
> was just broken by the new gutter API. We'll see if we can fix it for
> the next stable release.
>
>
> Jesse
Would be great, thank you.
(Now that you say, I was rather surprised to recently discover this feature doesn't work.)
Denis
________________________________
vit esse estrany ☣
spir.wikidot.com
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]