Jeff

> I needed a quick way to give users feedback that the deletion was successful, even when the search results didn't reflect that. I don't know how close to the...

> The idea is to have in-app-notifcations instead Oh yeah, you could indeed use [GtkOverlay](https://docs.gtk.org/gtk4/class.Overlay.html) for that; there's even a simple proof-of-concept python app [over there](https://github.com/gaphor/in-app-notification-demo) you can draw code...

Yeah, those datasets are in the old v1 (well, unversioned) format and haven't been fixed up and recommitted in clean v2 (0.5/0.6?) format, nor "converted to what 0.7 is" (if...

Multi select is issue #12.

The most important part of why the "teams" delegation feature in Twitter was successful and meaningful, for professional use, was that you could enable other users to manage your organization's/project's...

I've experienced this with version 2.5.2 (or recent versions of the last few years). What happens is that the data does get recorded, but doesn't appear on its own as...

Personally, I already have events sound turned off permanently, so I don't need this extension to mess with sound, and would prefer that it does not try to do so...

Let's also allow seeking directly back to any position even with the pipeline paused, without necessarily doing playback. In terms of UI: For convenience, instead of an option to "do...

I was wondering which Python app was being referred to here; if anyone else is similarly curious, apparently it's https://gitlab.gnome.org/GNOME/Incubator/Submission/-/issues/12

> When combined anyplace hover + chapter start time, wouldn't it be confusing as popover would show start time of preceding mark and NOT the actual time cursor hovers upon?...