search

christopher-l / space-bar

GNOME Shell extension that shows workspaces buttons in top panel
155 stars 12 forks source link

Add appearance settings for workspaces #4

Closed Dobli closed 1 year ago

Dobli commented 1 year ago

I really like the adaption of the original workspaces bar with a behavior closer to i3 and the additional configuration options. As I wanted to customize the appearance a little, I added an additional appearance tab to the settings. This allows to configure various options of active and inactive workspaces, like paddings, border radius and background color. I set the defaults to match the previous appearance.

settings

As an example, here a comparison between defaults and my current settings: defaults onedark

christopher-l commented 1 year ago

Sorry, for some reason I completely missed notifications for this repository. I'll be away from my computer for the next week, but I'll have a look afterwards. The appearance tab looks great, thank you for taking the time to create the PR! Sorry again for the delay!

Dobli commented 1 year ago

Hey no problem, I have aligned my changes with your recent additions, e.g. using your SpinButton settings entry and rebased my changes so it can be merged easily.

christopher-l commented 1 year ago

I added some modifications and some more configuration options. Thanks for your work!