RensAlthuis
RensAlthuis
No that is definitely not the intended look. My guess is that Ubuntu is changing something about the default behaviour of the overview.
I'm not sure what the purpose of the option is? Isn't that the same as just switching the extension off in the extensions app?
I agree, though that might take a while. I doubt it will be an easy thing to change.
Going to be honest with you. I have no idea. But I'll look in to it!
Hmm, this is a gnome extension though. I'll think about it, but I'm not sure if adding gnome- to the name really adds any new information.
Yeah, that's a good point. I'll add those, unless you have any specific suggestions?
I was thinking of dash-to-dock, dash-to-panel, worspaces-to-dock, pixel-saver, arc-menu etc. But I am not really set on the name and this is not the hill I want to die on,...
I'm having trouble reproducing this issue. Could you give me some info about your setup? Stuff like gnome-version, other extensions, wayland/xorg, Any settings for this extension that might be relevant.
@DavidCdeB Still can't get this to happen. Though whenever I log in it starts with the overview opened already. Did you disable that somehow?
Just two more things I'd like to check (sorry 😅). First, you don't happen to have any other extensions enabled or a shell theme perhaps? Second, how did you install...