This pull adds gnome-shell 43 to the compatibility list and increases the extension version. no-overview still works fine for vanilla gnome and the gjs documentation does not mention any breaking changes relevant to this extension (See: https://gjs.guide/extensions/upgrading/gnome-shell-43.html#quick-settings).
This pull adds gnome-shell 43 to the compatibility list and increases the extension version. no-overview still works fine for vanilla gnome and the gjs documentation does not mention any breaking changes relevant to this extension (See: https://gjs.guide/extensions/upgrading/gnome-shell-43.html#quick-settings).