Skip to content

Add terminal copy and paste shortcuts#44

Merged
bifrost0x merged 1 commit into
mainfrom
dev/terminal-copy-paste-shortcuts
Jul 20, 2026
Merged

Add terminal copy and paste shortcuts#44
bifrost0x merged 1 commit into
mainfrom
dev/terminal-copy-paste-shortcuts

Conversation

@bifrost0x

Copy link
Copy Markdown
Owner

Summary

  • add platform-aware copy and paste handling to each xterm instance
  • preserve Ctrl+C as the SSH interrupt when no text is selected
  • keep paste on xterm's native path, including newline normalization and bracketed paste
  • document the shortcuts and refresh the terminal-manager asset version

Why

This implements the request from Discussion #40 without changing the backend, Socket.IO input path, or dependencies.

Validation

  • node --check static/js/terminal-manager.js
  • node --check static/js/app.js
  • pytest tests -q: 137 passed, 27 skipped
  • browser verification for selection copy, Ctrl+C interrupt, multiline paste, and bracketed paste
  • local Docker image build and healthy container startup

@bifrost0x
bifrost0x marked this pull request as ready for review July 20, 2026 12:10
@bifrost0x bifrost0x self-assigned this Jul 20, 2026
@bifrost0x
bifrost0x merged commit 11b1c79 into main Jul 20, 2026
7 checks passed
@bifrost0x
bifrost0x deleted the dev/terminal-copy-paste-shortcuts branch July 20, 2026 13:10
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.

1 participant