In the 3rd comment in this issue on gitlab you can see pictures describing what I want to archieve.
I searched and tried for hours now, but don’t have much knowledge in js, though I managed it to change the size, the color, transparency etc of that popup (based on this link). But I also would like to move the whole popup to the right and tried things like
x = 50; or
WorkspaceSwitcherPopup.set_align and also tried a whole bunch of things which I combined from different sources and extensions, but failed.
Since the askubuntu link above uses a custom theme (I edited my Orchis theme ) but extensions like Move OSD Windows ) move these windows with an extension (instead of a theme/gnome-shell.css editing solution) I’m not sure whether I have to edit my theme or if I have to create an extension for that.
If I create an gnome-shell extension I would have to implement
const WorkspaceSwitcherPopup = imports.ui.workspaceSwitcherPopup; right? But how do I move this window (to the right) after that?
A hint (like a variable I have to set or what component I have to use) or a tutorial/reference would be great!
I am using GNOME 3.30.2, Debian 10 (Buster) if that’s important.
I got the message: “Sorry, new users can onlyput two links in a post”, so I had to seperate those links and couldn’t implement them above. But still, giving credit is important in my opinion…