diff options
| author | Johannes Altmanninger <aclopte@gmail.com> | 2022-10-30 19:08:50 +0100 |
|---|---|---|
| committer | Johannes Altmanninger <aclopte@gmail.com> | 2022-11-19 15:21:38 +0100 |
| commit | 37dcba9089424f4409146a5b98961e9bfae95443 (patch) | |
| tree | 284f9778d5ff7c50ef221104d3caf54193150e70 /rc/tools/python | |
| parent | 9891f111571bfdca10578804184b5455288bfc1b (diff) | |
rc repl tmux: do not record repl session/window since pane might move
A pane's ID is immutable for the lifetime of the tmux server.
Same with window/session IDs.
When creating a new tmux repl, we record all three IDs to later use
them to send text to the repl.
The window/session IDs can be invalidating when a pane is moved to
a different window/session (via "tmux move-pane", "tmux move-window"
etc). This will cause repl-send-text to fail.
Fix this by dropping the redundant and potentially incorrect
window/session IDs. The immutable pane ID is enough.
Diffstat (limited to 'rc/tools/python')
0 files changed, 0 insertions, 0 deletions