Inconsistent mouse scroll wheel behavior on hover depending on buffer type

[aadcg]

When hovering over the main or panel buffers, mouse scrolls are intercepted in the hovered buffer.

When the prompt buffer is open, mouse scrolls are intercepted exclusively by the prompt buffer.

The behavior is illustrated below.

simplescreenrecorder-2023-08-01_18.48.41.mp4

This seems to contradict the behaviour most users expect.

When the prompt buffer is open and the mouse hovers over a non prompt buffer area, I'd suggest either no scrolling or scrolling the buffer that is being hovered.

When the prompt buffer is open and the mouse hover over it, it should scroll it.

[lansingthomas]

Eeeeeew a bug

[lansingthomas]

Soo... just thinking out loud here.

If we set the input-focus to follow mouse pointer hover position,

• then this scrolling problem is fixed, as well as a few other problems (like trying to run quit-prompt-buffer when focus is on the main buffer).
• however, we introduce another problem (opening prompt buffer with mouse pointer on the upper half of the screen would change input to main buffer at the wrong time)

Sooo... Can we set the input-focus to follow the mouse pointer -- AFTER a transition has been made (from main-buffer to prompt-buffer, but not the other way.)

[lansingthomas]

Like this:
a mouse cursor transition from mainb → promptb | toggle-buffer-focus
a mouse cursor transition from promptb → mainb | no action (a click is still required)

[aadcg]

@lansingthomas think about the user. You suggestion feels overly complicated for no good reason. Generally speaking, setting the focus without a mouse click is rather unintuitive and not a good default.

On the other hand, people expect to interact, i.e. scroll, with the thing that they're pointing to.

Think about the text box from where you'll be writing a reply to my message. Hover over the box - it scrolls the message. Hover outside the text box - it scrolls the issue's page. Focus on hover is orthogonal to this discussion.

From my top post:

When the prompt buffer is open and the mouse hovers over a non prompt buffer area, I'd suggest either no scrolling or scrolling the buffer that is being hovered.

I think it's clear what my choice would be :)

[lansingthomas]

Makes sense.

I want what you propose:
scroll the buffer being hovered!

[lansingthomas]

@aartaka look! the thing we talked about already has an open issue. I totally forgot about this... and made a new video describing the bug.

[lansingthomas]

scroll-buffer-up-down.mp4

[aartaka]

Scroll on hover is hard, because GTK treats the view with focused input (which prompt buffer is) as the highest priority one. So we either focus out of prompt buffer (by clicking on main buffer or elsewhere), or do some infernal magic to unfocus on hover.

[aadcg]

With regards to focus, there seems to be deeper issues so this one can only be addressed after #1463 (comment).