[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: mouse-autoselect-window-select
From: |
Eli Zaretskii |
Subject: |
Re: mouse-autoselect-window-select |
Date: |
Wed, 14 Aug 2013 18:59:24 +0300 |
> Date: Wed, 14 Aug 2013 17:36:29 +0200
> From: martin rudalics <address@hidden>
> CC: address@hidden
>
> > This change in window.el:
> >
> > (mouse-autoselect-window-select): Autoselect only if we are in the
> > text portion of the window.
> >
> > should IMO also trigger auto-selection when the mouse is in the
> > display margin area of the window. That's because from the user
> > perspective the margins are an integral part of the text displayed in
> > a window, not one of the decorations. Excluding display margins will
> > probably surprise users.
>
> We can do that, obviously. But then, if `fringes-outside-margins' is
> non-nil, I would have to trigger autoselection for fringes as well. So
> I'd like to wait until someone really finds the new behavior annoying.
You could exclude the case of fringes-outside-margins. No need to
wait for a complaint to DTRT.
- mouse-autoselect-window-select, Eli Zaretskii, 2013/08/14
- Re: mouse-autoselect-window-select, martin rudalics, 2013/08/14
- Re: mouse-autoselect-window-select,
Eli Zaretskii <=
- Re: mouse-autoselect-window-select, martin rudalics, 2013/08/14
- Re: mouse-autoselect-window-select, Eli Zaretskii, 2013/08/14
- Re: mouse-autoselect-window-select, martin rudalics, 2013/08/15
- Re: mouse-autoselect-window-select, Eli Zaretskii, 2013/08/15
- Re: mouse-autoselect-window-select, martin rudalics, 2013/08/16
- Re: mouse-autoselect-window-select, Eli Zaretskii, 2013/08/16
- Re: mouse-autoselect-window-select, Davis Herring, 2013/08/15
- Re: mouse-autoselect-window-select, martin rudalics, 2013/08/16