Merged in issue847copybutton (pull request #382)
Added copy button to docs. Refs #847.
I think it is a useful improvement - would value other’s opinions.
You can see the docs at https://docs.openrem.org/en/issue847copybutton/installation.html etc
There may be more bits that need breaking up - when you copy the whole text of the box is copied to be pasted (with out the prompt and some other subtleties) so if one command requires a response the next command is going to be dumped in there!
Â
Added copy button to docs. Refs #847.
I think it is a useful improvement - would value other’s opinions.
You can see the docs at https://docs.openrem.org/en/issue847copybutton/installation.html etc
There may be more bits that need breaking up - when you copy the whole text of the box is copied to be pasted (with out the prompt and some other subtleties) so if one command requires a response the next command is going to be dumped in there!
Â