Add 42 since it works there too

[shemgp]

Tested on Ubuntu Jammy + GNOME PPA with gnome-shell 42~alpha.

Preferences works too.

Thanks for this nice and useful extension.

[Schneegans]

Thanks for testing this! I haven't added support for GNOME Shell 42 yet, as this merge request is still open. Once this is merged, our preferences dialog will most likely break (since we modify the window's header bar).

Nevertheless, as it seems to be working right now, we can claim supporting 42 anyways. I'll do a quick test later today and then include your change. However, once the above MR is merged, the prefs will break and the we will need to fix it ASAP 😉