purplebear/smli-rs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Copying does not work #3

New issue
Closed
opened 2026-10-19 09:05:19 +00:00 by purplebear · 1 comment
purplebear commented 2026-10-19 09:05:19 +00:00
Owner
Copy link

On Windows, where copy is CTRL+C, this obviously does not work, because it is bound to kill and restart repl. We can either rebind restart to something else or detect that the user has selected some text in the terminal.

On Windows, where copy is CTRL+C, this obviously does not work, because it is bound to kill and restart repl. We can either rebind restart to something else or detect that the user has selected some text in the terminal.
purplebear added reference main 2026-10-19 09:07:01 +00:00
purplebear commented 2026-10-19 16:56:40 +00:00
Author
Owner
Copy link

we did rebind restart so ctrl+c was restored to its original functionality of interrupting. ctrl+c still does not copy with or without our tool.

we did rebind restart so ctrl+c was restored to its original functionality of interrupting. ctrl+c still does not copy with or without our tool.
Sign in to join this conversation.
main
Branches Tags
Clear current reference
main
Clear current reference
No results found.
Labels
Clear labels   
bug
Something is not working

  
duplicate
This issue or pull request already exists

  
enhancement
New feature

  
help wanted
Need some help

  
invalid
Something is wrong

  
question
More information is needed

  
wontfix
This won't be fixed

No labels
bug
duplicate
enhancement
help wanted
invalid
question
wontfix
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
purplebear
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
purplebear/smli-rs#3
No description provided.