[PR #67] [MERGED] Add configurable margins around bar #8906

New issue

Closed

opened 2026-05-23 03:55:05 +01:00 by JakeStanger · 0 comments

JakeStanger commented

2026-05-23 03:55:05 +01:00

Owner

📋 Pull Request Information

Original PR: https://github.com/JakeStanger/ironbar/pull/67
Author: @ttoino
Created: 2/8/2023
Status: ✅ Merged
Merged: 2/8/2023
Merged by: @JakeStanger

Base: master ← Head: feature/margin

📝 Commits (1)

d253c4b feat: add configurable margins around bar

📊 Changes

3 files changed (+43 additions, -11 deletions)

View changed files

📝 docs/Configuration guide.md (+4 -0)
📝 src/bar.rs (+13 -6)
📝 src/config/mod.rs (+26 -5)

📄 Description

Adds a config option for adding margins around the bar.

_{🔄 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/JakeStanger/ironbar/pull/67 **Author:** [@ttoino](https://github.com/ttoino) **Created:** 2/8/2023 **Status:** ✅ Merged **Merged:** 2/8/2023 **Merged by:** [@JakeStanger](https://github.com/JakeStanger) **Base:** `master` ← **Head:** `feature/margin` --- ### 📝 Commits (1) - [`d253c4b`](https://github.com/JakeStanger/ironbar/commit/d253c4bd7f306c7b8fef223d1beb7b1f6e77629b) feat: add configurable margins around bar ### 📊 Changes **3 files changed** (+43 additions, -11 deletions) <details> <summary>View changed files</summary> 📝 `docs/Configuration guide.md` (+4 -0) 📝 `src/bar.rs` (+13 -6) 📝 `src/config/mod.rs` (+26 -5) </details> ### 📄 Description Adds a config option for adding margins around the bar. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

JakeStanger

2026-05-23 03:55:05 +01:00