Skip to content

Pr@dev@codex/fix windows workspace header drag - #1688

Merged
Zxc4wonder merged 2 commits into
devfrom
pr@dev@codex/fix-windows-workspace-header-drag
Sep 18, 2026
Merged

Zxc4wonder merged 2 commits into
devfrom
pr@dev@codex/fix-windows-workspace-header-drag

Conversation

@ibuler

@ibuler ibuler commented Sep 18, 2026

Copy link
Copy Markdown
Member

No description provided.

@fit2bot
fit2bot requested a review from a team September 18, 2026 04:45
@ibuler
ibuler requested a lite review from Copilot September 18, 2026 04:45
@sonarqubecloud

Copy link
Copy Markdown

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.

🔵 Needs a closer look

Port 8888 forwarding conflicts with the development gateway’s published local port.

Pull request overview

Updates Windows desktop header behavior by disabling workspace dragging and moving guest profile controls into the native title bar.

Changes:

  • Add platform-aware header dragging and title-bar controls.
  • Update guest profile presentation.
  • Add header tests and forward port 8888 in the SSH helper.
File summaries
File Summary
ui/components/Workspace/topHeader.vue Restricts dragging on Windows.
ui/components/SideBar/profile.vue Updates guest profile labeling and icon.
ui/components/Header/header.vue Controls Windows title-bar profile placement.
ui/components/Header/header.test.ts Adds header visibility tests.
ui/components/Header/DesktopTitleBar.vue Adds trailing slot support.
scripts/ssh-port-forward.ps1 Adds port 8888 forwarding.
Review details

Suppressed comments (1)

scripts/ssh-port-forward.ps1:4

  • Adding 8888 creates a local SSH listener on the same default port that docker-compose.yml:7 publishes for the development gateway (127.0.0.1:${JMS_DEV_PORT:-8888}). When the standard stack and this helper are run together, one bind fails; with ExitOnForwardFailure=yes, the forwarding process exits. Keep the local port configurable/use a different local port, or omit this port from the same-port forwarding list.
$ports = 5001, 5050, 8080, 2222, 8082, 3306, 5432, 8888
  • Files reviewed: 6/6 changed files
  • Comments generated: 0
  • Review effort level: Lite

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

@ibuler ibuler left a comment

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

OK

@Zxc4wonder
Zxc4wonder merged commit 7370e6d into dev Sep 18, 2026
14 of 17 checks passed
@fit2bot
fit2bot deleted the pr@dev@codex/fix-windows-workspace-header-drag branch September 18, 2026 06:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants