Cannot resize GRC window panels

Hi,

I have a fresh install of GNU Radio (3.10.5.1) on a Ubuntu 22.04. The problem is that I cannot resize the panels in GRC in that For example, I cannot make the console panel larger/smaller. In a previous installation, in a different machine, it works OK. When I hover the mouse cursor on top of the panel boundaries, the cursor turns to a double arrow, and it is possible to move the dividing edge to resize the panels.

Other software (e.g. gedit) allows me to resize the panels just fine in this new computer.

Failing setup:
Machine: Intel NUC PC (NUC 11PAHi7 Core i7)
OS: Fresh install of Ubuntu 22.04.1 LTS (with all updates installed)
GNU Radio version: 3.10.5.1, installed via Radioconda (today)

The other machine (which works OK) has
Machine: Intel i9-10900K, nVidia RTX 2070 SUPER
OS: Ubuntu 22.04.1 LTS
GNU Radio version: 3.10.5.1 (Installed via Ubuntu package)

I have tried to look for information about this issue without luck, but maybe I didn't guess the right search terms.

Regards, Ville

--   Ville Eerola  ville.eerola@iki.fi  050-4804435