Closed 73 closed 4 years ago
It's possible to change the styling by changing the css ~/.local/share/gnome-shell/extensions/overview-navigation@nathanielsimard.github.com.stylesheet.css
, but maybe it would be easier with some settings.
That would be overwritten on an update, would it not?
On Sat, Dec 21, 2019, 22:04 Nathaniel Simard notifications@github.com wrote:
It's possible to change the styling by changing the css ~/.local/share/gnome-shell/extensions/overview-navigation@nathanielsimard.github.com.stylesheet.css, but maybe it would be easier with some settings.
— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/nathanielsimard/overview-navigation/issues/18?email_source=notifications&email_token=AAEBHQSROZR4FRA47TG57EDQZ2AFNA5CNFSM4J3FUQ7KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEHPDTCI#issuecomment-568211849, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAEBHQSOMBWYRDACKXZSAF3QZ2AFNANCNFSM4J3FUQ7A .
Hmm yeah, probably.
I implemented some basic style settings.
You can try the PR #19 by running the following command then restarting the shell (Alt-f2 -> r
on X11 or log out / in on Wayland).
npm install
npm run local:install
Let me know if there are some improvements to be made or if it's what you had in mind.
Tested. Works perfectly. Beautiful!
It would be nice if the label style would be adjustable. Maybe by css or just the colors for: