Hover popup isn't scrollable
Trying to scroll the hover popover scrolls the sourceview instead, which also makes the hover disappearing again. This is a bit problematic, since you can't read the whole provided information, and the text is clipped:
Coming from gnome-builder#1801 (closed)
gtksourceview-5 5.9.0
Edited by Felix Häcker