<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
Hi Adam,<div><br /></div><div>- [Trivial change in basis.urs, line 1095] Would it be possible to add "placeholder" attribute to ctextarea?</div><div><br /></div><div><span style="line-height: 1.5">Relevant documentation: <a href="https://developer.mozilla.org/en-US/docs/Web/HTML/Element/textarea" target="_blank" rel="noopener noreferrer">https://developer.mozilla.org/en-US/docs/Web/HTML/Element/textarea</a></span><br /></div><div><br /></div><div><br /></div><div><div><br />2. Jan 2017 05:30 by <a href="mailto:adamc@csail.mit.edu" target="_blank" rel="noopener noreferrer">adamc@csail.mit.edu</a>:<br /><br /><blockquote class="tutanota_quote" style="border-left: 1px solid #93A3B8; padding-left: 10px; margin-left: 5px;">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.<br /><br />Do you have any last bug reports or (modest) enhancement requests to throw into the queue before then?<br /><br /><br />_______________________________________________<br />Ur mailing list<br /><a href="mailto:Ur@impredicative.com" target="_blank" rel="noopener noreferrer">Ur@impredicative.com</a><br /><a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" target="_blank" rel="noopener noreferrer">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a></blockquote></div></div> </body>
</html>