[PR #680] [MERGED] Remove legacy alias for ratatui #1774

Closed
opened 2026-03-14 15:32:20 +03:00 by kerem · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/aome510/spotify-player/pull/680
Author: @WhyNotHugo
Created: 2/15/2025
Status: Merged
Merged: 3/24/2025
Merged by: @aome510

Base: masterHead: ratatui


📝 Commits (1)

  • c24eab2 Remove legacy alias for ratatui

📊 Changes

10 files changed (+16 additions, -16 deletions)

View changed files

📝 README.md (+1 -1)
📝 spotify_player/Cargo.toml (+2 -2)
📝 spotify_player/src/config/theme.rs (+1 -1)
📝 spotify_player/src/event/mod.rs (+1 -1)
📝 spotify_player/src/state/ui/mod.rs (+3 -3)
📝 spotify_player/src/state/ui/page.rs (+1 -1)
📝 spotify_player/src/state/ui/popup.rs (+1 -1)
📝 spotify_player/src/ui/mod.rs (+4 -4)
📝 spotify_player/src/ui/page.rs (+1 -1)
📝 spotify_player/src/ui/single_line_input.rs (+1 -1)

📄 Description

Update usages of tui to ratatui and remove the legacy alias. Also update the readme, which points to the former.


🔄 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/aome510/spotify-player/pull/680 **Author:** [@WhyNotHugo](https://github.com/WhyNotHugo) **Created:** 2/15/2025 **Status:** ✅ Merged **Merged:** 3/24/2025 **Merged by:** [@aome510](https://github.com/aome510) **Base:** `master` ← **Head:** `ratatui` --- ### 📝 Commits (1) - [`c24eab2`](https://github.com/aome510/spotify-player/commit/c24eab2c52016a54e1f06f6e395c37efab261b0f) Remove legacy alias for ratatui ### 📊 Changes **10 files changed** (+16 additions, -16 deletions) <details> <summary>View changed files</summary> 📝 `README.md` (+1 -1) 📝 `spotify_player/Cargo.toml` (+2 -2) 📝 `spotify_player/src/config/theme.rs` (+1 -1) 📝 `spotify_player/src/event/mod.rs` (+1 -1) 📝 `spotify_player/src/state/ui/mod.rs` (+3 -3) 📝 `spotify_player/src/state/ui/page.rs` (+1 -1) 📝 `spotify_player/src/state/ui/popup.rs` (+1 -1) 📝 `spotify_player/src/ui/mod.rs` (+4 -4) 📝 `spotify_player/src/ui/page.rs` (+1 -1) 📝 `spotify_player/src/ui/single_line_input.rs` (+1 -1) </details> ### 📄 Description Update usages of `tui` to `ratatui` and remove the legacy alias. Also update the readme, which points to the former. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
kerem 2026-03-14 15:32:20 +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-player#1774
No description provided.