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
298 stars 26 forks source link

Custom NotificationBanners not available in GNOME 46 #820

Closed amezin closed 6 months ago

amezin commented 6 months ago

ddterm currently uses shell's notifications to show error/warning messages.

These notifications are slightly enhanced, compared to shell's default implementation - they have an embedded scroll area, which is in particular useful for displaying long error messages and stack traces.

GNOME 46 removed the API that allowed the customization: https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3173

For GNOME 46 compatibility, they need to be replaced with something else. Current idea: still show notifications, but add a "More"/"Details" button, that shows a dialog with a scrollable text area.