Select the entire DebugInfo text, with the command line params inserted.
This is a minor fix for an issue resulting from the last-minute changes in commit 0f8d572
(Add command line argument for plugin, a related notification and an API).
Close #11697
pull/11702/head
parent
10f48e36ad
commit
b3a9ec5dfe
Loading…
Reference in new issue