Cannot resize GRC window panels

[Ville Eerola]

    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