gnome-shell-extension-ddterm

gnome-shell-extension-ddterm copied to clipboard

GNOME Shell version

45.0 (but also true for 44)

Session type

Wayland (echo $WAYLAND_DISPLAY output is non-empty)

Special configuration

• [ ] High DPI
• [ ] More than one monitor

ddterm version

46 (GS45 fork, but true for 46 on GS44)

Linux distro

Arch Linux

ddterm settings dump

[/]
background-opacity=0.93000000000000005
bold-is-bright=true
ddterm-activate-hotkey=@as []
ddterm-toggle-hotkey=['Insert']
hide-when-focus-lost=true
new-tab-front-button=false
notebook-border=false
palette=['rgb(23,20,33)', 'rgb(192,28,40)', 'rgb(38,162,105)', 'rgb(162,115,76)', 'rgb(18,72,139)', 'rgb(163,71,186)', 'rgb(42,161,179)', 'rgb(208,207,204)', 'rgb(94,92,100)', 'rgb(246,97,81)', 'rgb(51,209,122)', 'rgb(233,173,12)', 'rgb(42,123,222)', 'rgb(192,97,203)', 'rgb(51,199,222)', 'rgb(255,255,255)']
panel-icon-type='none'
pointer-autohide=true
preserve-working-directory=false
scroll-on-output=true
shortcut-toggle-maximize=@as []
shortcuts-enabled=true
show-scrollbar=false
tab-expand=false
tab-label-ellipsize-mode='middle'
tab-show-shortcuts=false
tab-switcher-popup=false
tab-title-template='{{window-title}}'
theme-variant='dark'
transparent-background=true
window-maximize=true
window-resizable=false
window-size=1.0

Description

I tried deleting the .desktop file for the extension, and I tried modifying it to hide the icon from the menus, but every time I wake my laptop from sleep, the .desktop file is recreated as new, and the icon is back in the menu. I even tried chowning the file to root and making it read-only for everyone, but it still gets overwritten. I guess that's the consequence of having the install script run on each enable() call.

Locally, I solved this by adding NoDisplay=true to the .desktop file template in the extension folder (until next update).
Can you please make having the desktop file optional? Or at least allow hiding it somehow?

I didn't expect a .desktop file/entry to be that annoying

It's totally fine to have it, but having the option to hide it is even better ))