Wasn’t that show cancelled?

Looks like they’re down again now (2024-10-24 05:28 UTC)

• https://www.gnome.org/
• https://extensions.gnome.org/
• https://gitlab.gnome.org/

well that was… something

Some tab grouping extensions use it to hide tabs that are not in the currently displayed group.

Magnetic connectors work well in this case, and you won’t need that tape. But if you move your keyboard around a lot they might be a slightly worse solution than yours ;-)

I haven’t done it myself, but I’ve seen videos - you’ll need to de-solder the existing port (or whatever is left of it) and solder on a new one.

I’m aware… But apparently too stupid to see that you were continuing with the joke 🤣

Anyhoo… here’s an upvote 😉

that’s the translation of the Arabic part

I’ve been happy with the Simple Tab Groups extension, but built-in support would be welcome, since it would have better access than an extension.