Aleksandr Mezin

There was a similar issue with another tiling extension: https://github.com/pop-os/shell/issues/1034 - they solved it by adding ddterm to the exclude list

I will accept a pull request that implements this feature - but only if it wont break anything else. I'm not going to work on this feature myself, at least...

I have plans to write an xterm.js-based terminal emulator using GNOME Shell's UI (instead of the current implementation with a separate Gtk application). It should solve all window management issues,...

@vantu5z broken shortcut editor was a separate bug - fixed in https://github.com/ddterm/gnome-shell-extension-ddterm/pull/232 / https://github.com/ddterm/gnome-shell-extension-ddterm/releases/tag/v40

Will be available in the next release (there will still be one more for GNOME Also Ctrl+Scroll (chrome like) will be very welcome addition in this area Neither GNOME Terminal...

@pesader Yes, thank you Fixed in `master`/will be available in v44

> Multiple shortcut keys for Changing tabs etc.: Allow multiple shortcut keys to be set for the same action You should already be able to do that using `dconf-editor`. ddterm's...

Duplicate of https://github.com/ddterm/gnome-shell-extension-ddterm/issues/129

Yes, there is no 'uninstall' hook, but what about creating the file in `enable()` and removing in `disable()`?

Fix will be included in the next release