| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
| |
(cherry picked from commit 51a95be1d035a717ab29e98056b8831a98e61125)
Co-authored-by: Nick Drozd <nicholasdrozd@gmail.com>
|
|
|
|
|
|
| |
Left click and drag to select lines. With selection, right click for context menu with copy and copy-with-prompts.
Also add copy-with-prompts to the text-box context menu.
Co-authored-by: Terry Jan Reedy <tjreedy@udel.edu>
|
|
|
|
|
|
| |
The first followup will change shell indents to spaces.
More are expected.
Co-authored-by: Terry Jan Reedy <tjreedy@udel.edu>
|
|
|
| |
Convert mouse y to line number in the sidebar rather than the text.
|
| |
|
|
|