Skip to content
Commit 9333d671 authored by Matan Ziv-Av's avatar Matan Ziv-Av
Browse files

Add semantic integration copy actions

- Selecting Copy (or pressing ctrl-shift-c) when there is no selection
  selects current output if current mode is output, current input if
  current mode is input and input is non-empty, and last output if current
  input is empty.
- Ctrl + mouse triple click selects the pointed input/output/prompt.
- There is also a fix that was missed in previous patch for keeping
  track of current semantic mode through scrolls.
parent 5389ec11
Pipeline #200066 passed with stage
in 3 minutes and 17 seconds
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment