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:59:44 +0200
On Fri, 9 Apr 2010 12:18:11 -0700 (PDT)
DerekVeit <dv8box-nabble yahoo com> wrote:
> > 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.
> >
> Right. Just double-click the line number to select the line.
Why double? Clicking in the gutter/on the number is a deliberate action of the user -- no need of double-click to be sure s/he really wants it.
Denis
________________________________
vit esse estrany ☣
spir.wikidot.com
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]
