[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#41156: margins interfere with xterm-mouse-mode
|
From: |
martin rudalics |
|
Subject: |
bug#41156: margins interfere with xterm-mouse-mode |
|
Date: |
Tue, 15 Jun 2021 09:50:31 +0200 |
> And I'm fairly certain this is the proper fix. If a window is live,
> then the AREA-OR-POS made by posn-at-x-y should never be nil, I
> believe:
Looks good to me.
Thanks, martin
- bug#41156: margins interfere with xterm-mouse-mode, Lars Ingebrigtsen, 2021/06/13
- bug#41156: margins interfere with xterm-mouse-mode, martin rudalics, 2021/06/13
- bug#41156: margins interfere with xterm-mouse-mode, Lars Ingebrigtsen, 2021/06/14
- bug#41156: margins interfere with xterm-mouse-mode, Eli Zaretskii, 2021/06/14
- bug#41156: margins interfere with xterm-mouse-mode, Jared Finder, 2021/06/14
- bug#41156: margins interfere with xterm-mouse-mode, Jared Finder, 2021/06/15
- bug#41156: margins interfere with xterm-mouse-mode,
martin rudalics <=
- bug#41156: margins interfere with xterm-mouse-mode, Eli Zaretskii, 2021/06/15
- bug#41156: margins interfere with xterm-mouse-mode, Lars Ingebrigtsen, 2021/06/15