gnome-shell

Run something like Microsoft Teams on your phone and on your desktop (or whatsapp on phone + whatsdesk on desktop).

Get some notifications from the desktop app.

5 minutes later get all the same from the mobile app.

I'd really like some de-duping here, getting everything twice (or sometimes more !) is so distracting.

it would be be neat to show the blur background when sliding through workspaces,

As suggested by @MarekPikula in #160.

There are two separate approaches for this:

1. Translate profile names only when no profiles exist yet, which would be most likely during the first launch of the extension on a system
2. Translate all 4 default profiles regardless of whether the profiles existed before or not

Pros for 1:

• ~~Existing profile names stay as they are, so users won

Gnome-Pie had a nifty action group which stored entries for the n last copied things. It would be cool to have this feature in Fly-Pie as well!

If you want to work on this feature, just drop a note here and I will point you to the parts of the code you should start to work on!

I have noticed that none of the common keyboard shortcuts work to increase text size in ddterm.
Can this be added to Keyboard Shortcuts in ddterm settings?

In the meantime. can you please share the shell command that will increase/decrease text size within ddterm?

Update:
GNOME Shell 40.3
Wayland