[PR #583] [MERGED] Add user-configurable header styling #907

Closed
opened 2026-02-28 14:53:47 +03:00 by kerem · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/Rigellute/spotify-tui/pull/583
Author: @n-ivanov
Created: 9/21/2020
Status: Merged
Merged: 10/5/2020
Merged by: @Rigellute

Base: masterHead: apply-header-styling


📝 Commits (1)

  • ddb7db8 Add user-configurable header styling

📊 Changes

3 files changed (+6 additions, -0 deletions)

View changed files

📝 README.md (+1 -0)
📝 src/ui/mod.rs (+1 -0)
📝 src/user_config.rs (+4 -0)

📄 Description

  • Header text in panes is not affected by the color value set for 'text' in config.yml
    • Results in headers always written in white, which causes clash with non-white themes
  • Add new theme 'header' setting and use it to style the header text

pre-fix

post-fix


🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/Rigellute/spotify-tui/pull/583 **Author:** [@n-ivanov](https://github.com/n-ivanov) **Created:** 9/21/2020 **Status:** ✅ Merged **Merged:** 10/5/2020 **Merged by:** [@Rigellute](https://github.com/Rigellute) **Base:** `master` ← **Head:** `apply-header-styling` --- ### 📝 Commits (1) - [`ddb7db8`](https://github.com/Rigellute/spotify-tui/commit/ddb7db8be6c714f3f996f5b72675a7a60b7fb4d2) Add user-configurable header styling ### 📊 Changes **3 files changed** (+6 additions, -0 deletions) <details> <summary>View changed files</summary> 📝 `README.md` (+1 -0) 📝 `src/ui/mod.rs` (+1 -0) 📝 `src/user_config.rs` (+4 -0) </details> ### 📄 Description - Header text in panes is not affected by the color value set for 'text' in config.yml - Results in headers always written in white, which causes clash with non-white themes - Add new theme 'header' setting and use it to style the header text ![pre-fix](https://user-images.githubusercontent.com/11470871/93731669-f00e2300-fb82-11ea-86c2-63a8c0deafe8.png) ![post-fix](https://user-images.githubusercontent.com/11470871/93731673-f3a1aa00-fb82-11ea-8cd6-37462d8d5ae5.png) --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
kerem 2026-02-28 14:53:47 +03:00
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
starred/spotify-tui#907
No description provided.