Releases: ddterm/gnome-shell-extension-ddterm
Releases · ddterm/gnome-shell-extension-ddterm
v4
v3
- Quick preferences menu: enable/disable some preferences from context menu (keyboard shortcuts, auto-scroll, above all windows, etc...)
- Configurable window type hint: #18
- Window height can also be configured from the preferences dialog
- Fix window positioning on X11 in multi-monitor configuration (probably also fixes #19 )