Good idea. Added!
On 01/01/2017 08:10 PM, [email protected] wrote:
Hi Adam,
- [Trivial change in basis.urs, line 1095] Would it be possible to add
"placeholder" attribute to ctextarea?
Relevant documentation:
https://developer.mozilla.org/en-US/docs/Web/HTML/Element/textarea
2. Jan 2017 05:30 by [email protected] <mailto:[email protected]>:
After being way too distracted with other stuff for the last few
months, I've cleared the backlog of Ur/Web bug reports and pull
requests. I'd like to put out a new release soon, probably this
Thursday.
Do you have any last bug reports or (modest) enhancement requests
to throw into the queue before then?
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
