Closed boustanihani closed 3 months ago
How exactly are you trying to resize the terminal? Dragging the edge with the mouse? Keyboard shortcuts? Changing the size in Preferences dialog?
Do all of these methods not work or just a specific one?
Only dragging the edge with the mouse doesn't work ?
window-type-hint='dock'
It's because of this option. Behavior -> Window Type Hint. You need to switch it back to "Normal"
Thank you, this solved the issue :)
GNOME Shell version
GNOME Shell 45.5
Linux distro
"NixOS 23.11 (Tapir)"
ddterm version
Version 48
Session type
X11
Special configuration
All installed extensions
ddterm settings dump
Description
I am unable to resize the terminal after openning it. I have set the default height to 50%.
I am usinf![Bildschirmfoto vom 2024-04-12 14-00-51](https://github.com/ddterm/gnome-shell-extension-ddterm/assets/4227548/f893298c-b6c2-4c4c-bed8-8434b13ac44c)
NixOS 23.11
andGnome
, this is my configuration: