We made the name from a workspace unique throughout the whole WM, not only in a monitor, by adding a suffix to a name to make it unique.
🔄 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/LGUG2Z/komorebi/pull/1390
**Author:** [@pro470](https://github.com/pro470)
**Created:** 4/1/2025
**Status:** ❌ Closed
**Base:** `master` ← **Head:** `make-workspace-name-unique`
---
### 📝 Commits (1)
- [`7d75212`](https://github.com/LGUG2Z/komorebi/commit/7d7521274a50e11084c0fd8cf7e3ecf02e90a132) feat(config): make workspace name unique
### 📊 Changes
**2 files changed** (+30 additions, -6 deletions)
<details>
<summary>View changed files</summary>
📝 `komorebi/src/static_config.rs` (+8 -4)
📝 `komorebi/src/workspace.rs` (+22 -2)
</details>
### 📄 Description
We made the name from a workspace unique throughout the whole WM, not only in a monitor, by adding a suffix to a name to make it unique.
<!--
Please follow the Conventional Commits specification.
If you need to update your PR with changes from `master`, please run `git rebase master`.
By opening this PR, you confirm that you have read and understood this project's `CONTRIBUTING.md`.
-->
---
<sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
📋 Pull Request Information
Original PR: https://github.com/LGUG2Z/komorebi/pull/1390
Author: @pro470
Created: 4/1/2025
Status: ❌ Closed
Base:
master← Head:make-workspace-name-unique📝 Commits (1)
7d75212feat(config): make workspace name unique📊 Changes
2 files changed (+30 additions, -6 deletions)
View changed files
📝
komorebi/src/static_config.rs(+8 -4)📝
komorebi/src/workspace.rs(+22 -2)📄 Description
We made the name from a workspace unique throughout the whole WM, not only in a monitor, by adding a suffix to a name to make it unique.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.