[PR #573] [MERGED] Add 'enable_text_emphasis' behavior config option #904

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

📋 Pull Request Information

Original PR: https://github.com/Rigellute/spotify-tui/pull/573
Author: @kepae
Created: 9/11/2020
Status: Merged
Merged: 9/22/2020
Merged by: @Rigellute

Base: masterHead: configure-text-emphasis


📝 Commits (1)

  • 35d9b79 add 'enable_text_emphasis' behavior config option

📊 Changes

3 files changed (+15 additions, -1 deletions)

View changed files

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

📄 Description

As mentioned in Issue #568, some users' terminals can have escaping issues with text emphasis.
This pull request introduces a new field named enable_text_emphasis to BehaviorConfig.

BehaviorConfig seemed better suited as a home for this bit than Theme, and required less work. ;-)

Open to simpler/more sustainable ways to make this change, of course! First time contributer here.


🔄 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/573 **Author:** [@kepae](https://github.com/kepae) **Created:** 9/11/2020 **Status:** ✅ Merged **Merged:** 9/22/2020 **Merged by:** [@Rigellute](https://github.com/Rigellute) **Base:** `master` ← **Head:** `configure-text-emphasis` --- ### 📝 Commits (1) - [`35d9b79`](https://github.com/Rigellute/spotify-tui/commit/35d9b796890fece8cd6558bcaba26c0be557bc0d) add 'enable_text_emphasis' behavior config option ### 📊 Changes **3 files changed** (+15 additions, -1 deletions) <details> <summary>View changed files</summary> 📝 `README.md` (+2 -0) 📝 `src/ui/mod.rs` (+6 -1) 📝 `src/user_config.rs` (+7 -0) </details> ### 📄 Description As mentioned in Issue #568, some users' terminals can have escaping issues with text emphasis. This pull request introduces a new field named `enable_text_emphasis` to `BehaviorConfig`. `BehaviorConfig` seemed better suited as a home for this bit than `Theme`, and required less work. ;-) Open to simpler/more sustainable ways to make this change, of course! First time contributer here. --- <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:46 +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#904
No description provided.