Anne van Kesteren wrote: > > On Tue, 10 Jun 2008 13:47:08 +0200, Anne van Kesteren <annevk@opera.com> > wrote: >> On Mon, 09 Jun 2008 22:28:59 +0200, fantasai >> <fantasai.lists@inkedblade.net> wrote: >>> Depends on how you want error handling to work. I assume you want >>> 100dpi to be valid and 100.5dpi to be invalid. What about 100.0dpi? >>> I'd try to get >>> David Baron's opinion on that one. >> >> Opera supports floats as values. We can change that to integers if >> that's more desirable. (Changing to integers would mean that 100.0dpi >> becomes invalid obviously.) > > I defined <resolution> in the editor's draft to be an <integer> > immediately followed by a unit identifier. I hope that's acceptable to > everyone. Based on Christoph's comments, I think you should allow non-integer numbers. ~fantasaiReceived on Monday, 16 June 2008 21:51:19 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 27 April 2009 13:55:07 GMT