You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
My normal workflow is to select text, right click and select copy
I don't necessarily want/need the entire contents of the about box .. in this issue (and WIBNI the log window supported mouse-based copy operations (context and menubar/menuitems) #1295 and #2196) I got what I believe is needed from the about box before I connected to a remote interpreter .. and if I paste all the text into this box, the information about every interpreter on the remote machine (in my case 36 interpreters) merely clogs up the description of the issue.
I'd also love to be able to select and then hit ctrl-c/ctrl-insert to copy the selected text too.
If the log window and the help window are sufficiently similar, I see no reason to not enable searching in the About box text - easier to have the same options for both.
The text was updated successfully, but these errors were encountered:
IDE:
Version: 4.6.4140
Electron: 31.0.0
Chrome: 126.0.6478.36
Node: 20.14.0
Platform: Win32
Date: 2024-12-19 11:45:20 +0000
Git commit: 222a996
I know that there's a Copy button, but
If the log window and the help window are sufficiently similar, I see no reason to not enable searching in the About box text - easier to have the same options for both.
The text was updated successfully, but these errors were encountered: