[PR #372] [MERGED] feat: bar auto-hide options #9100

New issue

Closed

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

JakeStanger commented

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

Owner

📋 Pull Request Information

Original PR: https://github.com/JakeStanger/ironbar/pull/372
Author: @JakeStanger
Created: 12/10/2023
Status: ✅ Merged
Merged: 12/11/2023
Merged by: @JakeStanger

Base: master ← Head: feat/auto-hide

📝 Commits (1)

ee04cd0 feat: bar auto-hide options

📊 Changes

4 files changed (+111 additions, -27 deletions)

View changed files

📝 docs/Configuration guide.md (+18 -16)
📝 src/bar.rs (+85 -9)
📝 src/config/mod.rs (+7 -0)
📝 src/main.rs (+1 -2)

📄 Description

Adds two new bar-level options:

start_hidden, which stops a bar from showing when Ironbar starts. It can then be hidden via IPC or auto-hide.
autohide, which takes a delay after which the bar will be hidden when the cursor leaves. Hovering at the screen edge where the bar is located reveals the bar again.

Resolves #167

_{🔄 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/372 **Author:** [@JakeStanger](https://github.com/JakeStanger) **Created:** 12/10/2023 **Status:** ✅ Merged **Merged:** 12/11/2023 **Merged by:** [@JakeStanger](https://github.com/JakeStanger) **Base:** `master` ← **Head:** `feat/auto-hide` --- ### 📝 Commits (1) - [`ee04cd0`](https://github.com/JakeStanger/ironbar/commit/ee04cd025aa2a4c35aa8b4947a02a9cf66f87734) feat: bar auto-hide options ### 📊 Changes **4 files changed** (+111 additions, -27 deletions) <details> <summary>View changed files</summary> 📝 `docs/Configuration guide.md` (+18 -16) 📝 `src/bar.rs` (+85 -9) 📝 `src/config/mod.rs` (+7 -0) 📝 `src/main.rs` (+1 -2) </details> ### 📄 Description Adds two new bar-level options: - `start_hidden`, which stops a bar from showing when Ironbar starts. It can then be hidden via IPC or auto-hide. - `autohide`, which takes a delay after which the bar will be hidden when the cursor leaves. Hovering at the screen edge where the bar is located reveals the bar again. Resolves #167 --- <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:38 +01:00