Skip to content

layoutPicker: Use the monitor geometry for fullscreen monitors - #483

Merged
3v1n0 merged 1 commit into
mainfrom
fullscreen-picker
Oct 8, 2026
Merged

3v1n0 merged 1 commit into
mainfrom
fullscreen-picker

Conversation

@3v1n0

@3v1n0 3v1n0 commented Oct 8, 2026

Copy link
Copy Markdown
Collaborator

A fullscreen window ignores struts, but GNOME Shell keeps the top bar's strut in place even though the bar itself is hidden. The work area thus still reserves space for it, which made the picker appear below where the top bar would have been, leaving an empty gap at the top.

Use the monitor geometry for monitors with a fullscreen window instead, both when positioning the picker and for its reveal hit test.

LP: #2170245

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🟢 Approval recommended

No unresolved blocking issues were identified.

0 open findings

What changed in this PR

Updates the layout picker to use full monitor geometry on fullscreen monitors, avoiding hidden top-bar gaps.

Changes:

  • Added fullscreen-aware geometry selection.
  • Applied it to picker positioning and reveal hit testing.
File Description
tiling-assistant@leleat-on-github/​src/​extension/​layoutPicker.js Uses monitor or work-area geometry based on fullscreen state.

🧠 Review effort: Lite


💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

A fullscreen window ignores struts, but GNOME Shell keeps the top bar's
strut in place even though the bar itself is hidden. The work area thus
still reserves space for it, which made the picker appear below where the
top bar would have been, leaving an empty gap at the top.

Use the monitor geometry for monitors with a fullscreen window instead,
both when positioning the picker and for its reveal hit test.

LP: #2170245
@3v1n0
3v1n0 force-pushed the fullscreen-picker branch from 2da58ff to fbd4c7f Compare October 8, 2026 20:30
@3v1n0
3v1n0 merged commit 5bfe0b5 into main Oct 8, 2026
4 checks passed
@3v1n0
3v1n0 deleted the fullscreen-picker branch October 8, 2026 20:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants