
• The new Commands Manager is great !
- However, IMHO some visible stuff to copy the command of a selected line is missing.
• Currently, one can copy a command-name using the keyboard only, and this is a lacuna because the very newbies and the “Aunty Agatha”s will not know how to do on the spot.
• So, I would wish to get a mini_local_RMB_menu - like in Lister, since a string exists already :
1091="&Copy…"
- It could do the trick…
• Also, a “Copy…” button could be added at the bottom of the window, there is a LAAAARGE free room !

- This could be used to copy some command-name to paste outside TC,
i.e. when answering in the fora, or updating my Tutorials…
• Moreover, it's impossible to copy several commands as one go, Ctrl and Shift are disabled.
- Even as optional, it should be useful to activate them, in order to copy several commands,
still to paste as text anywhere, outside TC of course…

Claude
Clo