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.
Please re-open if this still happens. It works for me. (It might not be something we can control, though)
Status: NEW → RESOLVED
Last Resolved: 18 days ago
Resolution: --- → WORKSFORME
You need to log in before you can comment on or make changes to this bug.