[PR #143] [MERGED] Use space more efficiently on small terminals #631

New issue

Closed

opened 2026-02-28 14:50:16 +03:00 by kerem · 0 comments

kerem commented

2026-02-28 14:50:16 +03:00

Owner

📋 Pull Request Information

Original PR: https://github.com/Rigellute/spotify-tui/pull/143
Author: @Rigellute
Created: 11/6/2019
Status: ✅ Merged
Merged: 11/13/2019
Merged by: @Rigellute

Base: master ← Head: 138

📝 Commits (1)

3dc259e Use space more efficiently on small terminals

📊 Changes

1 file changed (+4 additions, -1 deletions)

View changed files

📝 src/ui/mod.rs (+4 -1)

📄 Description

This commit closes #138

There will still be some padding on larger terminals but I've removed the padding when the height is small.

Also slightly reduced the amount of margin on larger terminals.

_{🔄 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/143 **Author:** [@Rigellute](https://github.com/Rigellute) **Created:** 11/6/2019 **Status:** ✅ Merged **Merged:** 11/13/2019 **Merged by:** [@Rigellute](https://github.com/Rigellute) **Base:** `master` ← **Head:** `138` --- ### 📝 Commits (1) - [`3dc259e`](https://github.com/Rigellute/spotify-tui/commit/3dc259e3d0ca9a6704c0e4a7186614f8c634c626) Use space more efficiently on small terminals ### 📊 Changes **1 file changed** (+4 additions, -1 deletions) <details> <summary>View changed files</summary> 📝 `src/ui/mod.rs` (+4 -1) </details> ### 📄 Description This commit closes #138 <img width="1017" alt="Screenshot 2019-11-06 at 09 30 24" src="https://user-images.githubusercontent.com/12150276/68326139-c5c68a80-00c2-11ea-9b06-7f73dd576a1b.png"> There will still be some padding on larger terminals but I've removed the padding when the height is small. Also slightly reduced the amount of margin on larger terminals. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>