mwildam

I also highly depend on this extension. Should be part of the standard Gnome-Desktop in reality. theoryfate ***@***.***> schrieb am Di., 6. Okt. 2020, 02:59: > Please pull requests. >...

On Thu, Jan 11, 2024 at 3:57 PM wizerer ***@***.***> wrote: > I don't want to say anything bad about GNOME, I think the introduction of the extensions in the...

I have a similar issue since a long time, independent from external monitors attached or not. And I did several long-term-tests to find out the cause without success. However, after...

Yes, indeed, if this extension does not work would be a showstopper for any migration! Could not find a way to donate. Best regards, Martin. On Thu, Mar 26, 2020...

Best would be a dropdown with previously used values and last one preset.