Workspace switcher

Customization
1

Hello,
I just wanna share my little customization of a Gnome shell extension, simple but my only way to have the close visual of the last gnome shell workspace pill.
The extension :
https://extensions.gnome.org/extension/5347/dotspaces/

The modified stylesheet.css :

.dotspaces-indicator {
  padding-left: 2px;
  padding-top: 1.5px;
  padding-bottom: 1.5px;
  padding-right: 2px;
}

.dotspaces-indicator:active {
margin : 6px 6px 6px 6px;
   background-color: #ffffff;
   box-shadow: none;
}

The result :
image

Have fun :wink:

5 Likes
2

It looks great!

1 Like
3

Out of curiosity, how did you find out about the proper CSS classes to use?

4

I just made some change in the existing css.
I add margin and padding in stylesheet.css located in the extension.

1 Like