W3C home > Mailing lists > Public > w3c-wai-hc@w3.org > October to December 1997

Re: Media type recognition by HTML user agents

From: Dave Raggett <dsr@w3.org>
Date: Fri, 24 Oct 1997 11:04:53 -0400 ()
To: Jason White <jasonw@ariel.ucs.unimelb.EDU.AU>
cc: WAI HC Working Group <w3c-wai-hc@w3.org>
Message-ID: <Pine.WNT.3.95.971024110110.-249489C-100000@hazel.hpl.hp.com>

Following yesterday's HTML WG meeting in which Judy, Al Gilman
and I presented the WAI proposals for HTML 4.0 I have drafted
the following text for the media attribute:

This bit is new:

  tty: intended for media using a fixed pitch character grid, such
  as teletypes, terminals, or portable devices with limited display
  capabilities. 

This bit has a one word change:

  3.  A case-sensitive match is then made with the set of media
      types defined above. Entries that don't match may be ignored.

Note the change from "should" to "may" in the last sentence.

Regards,

-- Dave Raggett <dsr@w3.org> http://www.w3.org/People/Raggett
phone: +44 122 578 2984 (or 2521) +44 385 320 444 (gsm mobile)
World Wide Web Consortium (on assignment from HP Labs)
Received on Friday, 24 October 1997 11:07:55 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:35:00 UTC