Make text unselectable?

[Mitchell Dalvi Rosen]

Hi, is it possible to make text unselectable using this library?

From a cursory google search it looks like user-select: none CSS is the trick. However, I couldn't figure out how to accomplish that with the external API.

Thanks!

[Michael Rätzel]

Yes, you can disable selection with this attribute:

Element.htmlAttribute (Html.Attributes.style "user-select" "none")

[Mitchell Dalvi Rosen]

Nice, I missed that. Thanks.