Skip to content

Minor changes to banner#2167

Merged
drwetter merged 1 commit into3.1devfrom
fix_banner
May 4, 2022
Merged

Minor changes to banner#2167
drwetter merged 1 commit into3.1devfrom
fix_banner

Conversation

@drwetter
Copy link
Copy Markdown
Collaborator

@drwetter drwetter commented May 3, 2022

On macOS in dark mode the git tag in grey wasn't visible. It was
changed now to light grey but it has to be tested how it looks
on a white terminal background. Update: On Linux using several
terminal windows, also with white background it worked fine.

Also CVS variables were removed which had no meaning.

On macOS indark mode the git tag in grey wasn't visible. It was
changed now to light grey but it has to be tested how it looks
on a white terminal background.

Also CVS variables were removed which had no meaning.
@drwetter drwetter marked this pull request as draft May 3, 2022 19:07
@drwetter drwetter marked this pull request as ready for review May 4, 2022 08:44
@drwetter drwetter merged commit 859da96 into 3.1dev May 4, 2022
@drwetter drwetter deleted the fix_banner branch May 4, 2022 08:48
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.

1 participant