search

ddterm / gnome-shell-extension-ddterm

Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
https://extensions.gnome.org/extension/3780/ddterm/
GNU General Public License v3.0
289 stars 26 forks source link

Margin around terminal #975

Closed czQery closed 1 day ago

czQery commented 6 days ago

I have floating bar with space around, so i would appreciate option to add margin around the terminal, or at least on sides.

Screenshot from 2024-06-29 10-36-41

amezin commented 1 day ago

"Margin on the sides" is essentially the same as "configurable width".

So it's a duplicate of https://github.com/ddterm/gnome-shell-extension-ddterm/issues/129

Unlikely to be possible anytime soon, sorry