Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

changed status bar icons & spacing #79

Closed
wants to merge 10 commits into from

Conversation

petersf-libre
Copy link

@petersf-libre petersf-libre commented Oct 3, 2019

includes extra unused arrow icons.

Screenshot of a possible configuration in use:
Screen Shot 2019-09-15 at 10 11 03 PM

@Mortennn
Copy link
Owner

Mortennn commented Oct 4, 2019

Great!

I will check it out within the next week.

@aonez
Copy link
Contributor

aonez commented Oct 7, 2019

Can this be optional? I really like the dots.

@petersf-libre
Copy link
Author

@aonez I really should have done that in the first place, I was just lazy. New commits have a (very) preliminary system for choosing icons

@aonez
Copy link
Contributor

aonez commented Oct 8, 2019

Maybe this pull can be used to fix #56?

@petersf-libre
Copy link
Author

Maybe this pull can be used to fix #56?

I actually just added that a bit ago, it has two sizes of dots as well as the arrows. It's up to @Mortennn which icons to keep and how to select them, though. Making the 'remove' icon dependent on the main icon would make the interface much cleaner but I wanted to make it easy to try out every option for now.

Screen Shot 2019-10-08 at 4 22 01 PM

This is the smaller dot it's using right now, but it's very easy to scale if people want something different.

@gqbre
Copy link

gqbre commented Oct 11, 2019

cool

@gingerbeardman
Copy link
Contributor

Smaller dot does look better IMHO

@hjemmel
Copy link

hjemmel commented Feb 21, 2020

Any updates on this?

@petersf-libre
Copy link
Author

petersf-libre commented Apr 22, 2020

Closing as #101 is merged and the author is more active than me.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants