Skip to content

Fix hs.spaces so it works when hs.spaces.screensHaveSeparateSpaces() is false - #3196

Merged
cmsj merged 3 commits into
Hammerspoon:masterfrom
asmagill:screensNotSeparateSpacesFriendly
Jul 1, 2022
Merged

cmsj merged 3 commits into
Hammerspoon:masterfrom
asmagill:screensNotSeparateSpacesFriendly

Conversation

@asmagill

Copy link
Copy Markdown
Member

This still needs to be tested when a second monitor is attached and then I need to run through my tests again switching "Screens Have Separate Spaces" back on to make sure I didn't break anything.

Should be able to finalize tonight/tomorrow.

@asmagill asmagill added bug enhancement pr-fix Pull Request implementing a bug fix labels Apr 23, 2022
@github-actions

github-actions Bot commented Apr 23, 2022 •

Copy link
Copy Markdown

View Test Results

    1 files      2 suites   11m 13s ⏱️
342 tests 289 ✔️ 50 💤 3 ❌

For more details on these failures, see this check.

Results for commit d657566.

♻️ This comment has been updated with latest results.

@asmagill asmagill changed the title [WIP] Fix hs.spaces so it works when hs.spaces.screensHaveSeparateSpaces() is false [READY] Fix hs.spaces so it works when hs.spaces.screensHaveSeparateSpaces() is false Apr 24, 2022
@asmagill

Copy link
Copy Markdown
Member Author

I hate CI

As far as I can tell the errors are unrelated, so this is ready to go unless anyone has objections.

@latenitefilms

Copy link
Copy Markdown
Contributor

Yeah, it looks like hs.serial is now that GitHub Actions is running on Monterey hardware - doh!

@latenitefilms

Copy link
Copy Markdown
Contributor

I've pushed to ignore these two tests in #3198

@cmsj
cmsj merged commit 4634b81 into Hammerspoon:master Jul 1, 2022
@cmsj cmsj changed the title [READY] Fix hs.spaces so it works when hs.spaces.screensHaveSeparateSpaces() is false Fix hs.spaces so it works when hs.spaces.screensHaveSeparateSpaces() is false Mar 12, 2023
@asmagill
asmagill deleted the screensNotSeparateSpacesFriendly branch January 17, 2026 17:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug enhancement pr-fix Pull Request implementing a bug fix

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants