search

purescript / pursuit

Website for hosting and searching PureScript API documentation
https://pursuit.purescript.org/
Other
169 stars 47 forks source link

Double-clicking a function name also selects the "Source" text #276

Closed wereHamster closed 7 years ago

wereHamster commented 7 years ago

If I double-click a function name in order to copy it, the browser also selects the "Source" text at the right. I have to manually click and drag to select just the function name.

image

hdgarrood commented 7 years ago

Fixed inside the compiler (rendering HTML happens there now): https://github.com/purescript/purescript/pull/2786