[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
mouse-autoselect-window-select
From: |
Eli Zaretskii |
Subject: |
mouse-autoselect-window-select |
Date: |
Wed, 14 Aug 2013 18:21:29 +0300 |
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.
- 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/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