On Mon, May 01, 2023 at 09:25:16PM +0200, Stefan Hagen wrote:
> Stefan Hagen wrote (2023-05-01 20:38 CEST):
> > there's a bug/annoyance in gnome where newly spawned terminals don't get
> > focus: https://gitlab.gnome.org/GNOME/mutter/-/issues/2690
>
> To provide the full picture: The patch I'm
Stefan Hagen wrote (2023-05-01 20:38 CEST):
> there's a bug/annoyance in gnome where newly spawned terminals don't get
> focus: https://gitlab.gnome.org/GNOME/mutter/-/issues/2690
To provide the full picture: The patch I'm proposing reopens the
original issue that lead to the change.
The
Hello,
there's a bug/annoyance in gnome where newly spawned terminals don't get
focus: https://gitlab.gnome.org/GNOME/mutter/-/issues/2690
For example typing in terminal A, then spawning another terminal B using
the laucher will make terminal B appear on the screen, but the focus stays
on