gnome 42 support

[rudrab]

Dear developer,
Can we expect gnome 42 support of this extension?

[xerz-one]

Just did some testing -- currently, the extension almost works, but as soon as you try to exit from the switcher, GNOME doesn't know what to do, and stays in windowing limbo. If you manage to close down all the windows, the desktop session crashes entirely.

[chrislea]

I'd also like to vote for a Gnome 42 compatible version. Thanks so much for your work on this software!

[p91paul]

It'll take a while for me to find time to work on this. Pull request would be really appreciated.

[appleton252]

Same, this would be great. Thank you so much for this great extension!

[Neo-29]

Just did some testing -- currently, the extension almost works, but as soon as you try to exit from the switcher, GNOME doesn't know what to do, and stays in windowing limbo. If you manage to close down all the windows, the desktop session crashes entirely.

same experience here

no panel back ( disappeared) and the shell freezes as soon as I exit the switcher

[p91paul]

Courtesy of @dsheeler the master branch should now be Gnome 42 compatible. I'll try and update e.g.o. as soon as I find some time.

[dsheeler]

@p91paul any chance I can help with updating the extension?

[p91paul]

I've seen you being more active than me here for a few releases now. If you're interested, I can have the extension ownership transferred to you on e.g.o. and get you commit rights on this repository.

[Neo-29]

Hello,

I can confirm the code is good for gnome 42 (built from source)

doesn't break the shell anymore

[dsheeler]

@p91paul sure! I'd take ownership.

[p91paul]

@dm60 could you please give @dsheeler commit rights on this repo?

[dsheeler]

@p91paul You tagged the wrong github account. Should have been @dmo60 :)

[timoloewe]

@dm60 could you please give @dsheeler commit rights on this repo?

I added you as a collaborator @dsheeler. That should do it, right? If not, let me know and I'll take a second look.

Nice to see that this extension is still alive :) Thanks @p91paul & @dsheeler !

[dsheeler]

@dmo60 access looks good. Thanks!

[Alex-DA]

@dsheeler it seems that the Extension still outdated at https://extensions.gnome.org/extension/97/coverflow-alt-tab/

[dsheeler]

@Alex-DA we're waiting on a reviewer to make me owner of the project

[dsheeler]

And this is officially done! I became owner and updated the version on the extensions site. \o/ :)

[dsheeler]

@dmo60 I'm trying out using weblate for translation management. I think I need to give a weblate user access to this repo. Can I be an administrator for this repo?

[timoloewe]

@dsheeler I couldn't find that option anywhere in the repo settings. Do you by any chance know how to do this or have a resource at hand where it's described?

[dsheeler]

@dmo60, Hi! Turns out, I did not need any special access. So that's good. I was thinking about renaming master to main, but I don't have permission to do that.

[p91paul]

I do not think "renaming" a branch is a thing. You should be able to create and push locally the new main branch, then delete the remote master branch all from the command line. A setting might be required to change the default branch shown in the github gui however.

[dsheeler]

Ahh, thanks @p91paul. You're right about all that. Sorry for the confusion. The default branch does need updating in the github settings.

There have been various reasons here and there for me to want "administrative" access to the repo. Like I want to change the "About" blurb on the right-hand side of the homepage. This changing the default branch business also requires access I don't have. @dmo60, any chance I could get admin status? Just would be kinda convenient sometimes.

[p91paul]

Apparently, you can't: https://docs.github.com/en/account-and-profile/setting-up-and-managing-your-personal-account-on-github/managing-user-account-settings/permission-levels-for-a-personal-account-repository

[dsheeler]

Couple options we could think about: transferring to an organization or transfer ownership to me. Easier would be transfer to me, but of course it's all up to @dmo60. Maybe I could make a fork be the official website for the project?

[dsheeler]

Oh, and I discovered that github does allow you to rename branches through the website

[timoloewe]

I'm totally up for transferring it to you @dsheeler, since I haven't been involved with the project for years. I will start the process, you will receive an email and have to confirm this.

[timoloewe]

@dsheeler Looks like you need to delete/rename your fork first:

[dsheeler]

I deleted the fork, @dmo60