GUI, Minor!, Menu-search, scrolling, Position/size-fighting.

[MvGulik]

Guess the menu-search is the only GU part showing this behavior (due its auto resizing).

Overall kinda a non-issue.

(More a personal exercise in how to turn a video into a small but still useful gif. ... Lowering the need to use text to explain it. ;-) )

• Linux Mint 21.3 Cinnamon(6.0.4) -- (5.15.0-135-generic)
• Installed with Mint software manager.
• nip4: 9.0.5 (Flatpak)

[jcupitt]

Oh haha you're right, that shouldn't happen. I'll remove the autosize and make the divider draggable.

[MvGulik]

From a personally point of view I do think the auto resize of the menu-search is a nice (and useful:wip) feature.
(it only happens when in dragging mode (at some points). But stops if the mouse-button is released.)

Looking into an alternative fix for that wiggly-divider could potentially be something for some later stage in the nip4 development.