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.

Sign up for GitHub

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

Jump to bottom

Status bar text should be theme-able #952

Closed
bobbrow opened this issue Dec 3, 2019 · 2 comments
Closed

Status bar text should be theme-able #952

bobbrow opened this issue Dec 3, 2019 · 2 comments
Labels
enhancement an enhancement to the product that is either not present or an improvement to an existing feature Feature: UI stale-old to use with the close-old-issues bot
Milestone
Backlog

Comments

@bobbrow
Copy link
Member

bobbrow commented Dec 3, 2019

The colours also seem to be at odds with the colour scheme. Is this intentional?

Bright yellow in a low-contrast colour scheme (Solarized) is pretty unpleasant, and it seems impossible to remove.

Screenshot 2019-11-27 at 09 30 35

Originally posted by @willvousden in #911 (comment)
@andreeis andreeis mentioned this issue Dec 3, 2019
Closed
@bobbrow bobbrow added Feature: other enhancement an enhancement to the product that is either not present or an improvement to an existing feature labels Dec 27, 2019
@andreeis andreeis added this to the Backlog milestone Jan 24, 2020
@SchweizS SchweizS mentioned this issue Apr 23, 2020
Merged
@github-actions
Copy link

This issue is now marked as 'stale-old' due to there being no activity on it for the past 720 days. Unless the 'stale-old' label is removed or the issue is commented on, this will be remain open for at least 14 days and then it may be closed. If you would like to make this issue exempt from getting stale, please add the 'stale-exempt' label.

@github-actions github-actions bot added the stale-old to use with the close-old-issues bot label Oct 19, 2023
@github-actions GitHub Actions
Copy link

This issue is now closed due to there being no activity on it for the past 14 days since being marked as 'stale-old'.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement an enhancement to the product that is either not present or an improvement to an existing feature Feature: UI stale-old to use with the close-old-issues bot
Projects
None yet
Milestone
Backlog
Development

No branches or pull requests
2 participants
@bobbrow @andreeis