Hi everyone, I am not able to resize the window of the protege desktop application. I am using Protege 5.5.0 in Ubuntu 20.04.3 LTS with GNOME 3.36.8.
This is the screenshot of Protege when I open it:
I can not see the typical buttons for closing or resizing the window (it should be above the Protege toolbar). Besides, if I push alt+space, these options (maximize, move and resize) appear as disabled:
Is there any shortcut for full screen mode or something like that? Maybe I entered in this mode accidentally.
Hi everyone, I am not able to resize the window of the protege desktop application. I am using Protege 5.5.0 in Ubuntu 20.04.3 LTS with GNOME 3.36.8.
This is the screenshot of Protege when I open it:
I can not see the typical buttons for closing or resizing the window (it should be above the Protege toolbar). Besides, if I push alt+space, these options (maximize, move and resize) appear as disabled:
Is there any shortcut for full screen mode or something like that? Maybe I entered in this mode accidentally.
Thanks beforehand, Francisco Abad.