What feature should be changed? Please provide the URL of the feature if possible. ================================================================================== e.g. https://developer.mozilla.org/en-US/Add-ons/WebExtensions/API/tabs/executeScript, double click the "tabId" selected the "tabId" and "Optional", copy got "tabIdOptional". What problems would this solve? =============================== Double click to select a word. Who would use this? =================== All users. What would users see? ===================== the "tabId" and "Optional" selected, copy got "tabIdOptional". What would users do? What would happen as a result? =================================================== Inconvenient to copy. Is there anything else we should know? ====================================== Add a hidden space between the code and span elements within dt.
You need to log in before you can comment on or make changes to this bug.