[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#41156: margins interfere with xterm-mouse-mode
From: |
Eli Zaretskii |
Subject: |
bug#41156: margins interfere with xterm-mouse-mode |
Date: |
Mon, 14 Jun 2021 15:56:33 +0300 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Date: Mon, 14 Jun 2021 14:46:22 +0200
> Cc: 41156@debbugs.gnu.org, Neil Okamoto <neil.okamoto@gmail.com>
>
> martin rudalics <rudalics@gmx.at> writes:
>
> > Unless you do
> >
> > (set-window-margins (selected-window) 2 0)
> >
> > in the window at right.
>
> Right, so I guess xterm-mouse-mode needs to define a key binding in the
> margin area for these mouse commands?
>
> Hm... Well, I took a quick peek at xt-mouse.el for the first time in my
> life, and that doesn't seem to be how that mode works at all. Is
> anybody familiar enough with xt-mouse that it's obvious to them what's
> going wrong in this case?
Jared, can you help us out here, please?
- 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 <=
- 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, 2021/06/15
- 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