annotate etc/schema/xhtml-xstyle.rnc @ 109360:f37b85834f7e

Convert more function definitions to standard C. * src/xdisp.c (window_box_edges, handle_single_display_spec) (display_string): Convert definition to standard C. * src/scroll.c (do_direct_scrolling, scrolling_1): * src/dispnew.c (allocate_matrices_for_frame_redisplay) (mirrored_line_dance): * src/coding.c (code_convert_string): * src/charset.c (map_charset_chars): * src/ccl.c (Fccl_program_p, Fccl_execute, Fccl_execute_on_string) (Fregister_ccl_program, Fregister_code_conversion_map): * src/keyboard.c (kbd_buffer_nr_stored): Likewise. (head_table): Make static and const.
author Dan Nicolaescu <dann@ics.uci.edu>
date Mon, 12 Jul 2010 09:32:53 -0700
parents 55a95acb5aa1
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
87298
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1 # Style Module
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
2
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
3 style = element style { style.attlist, text }
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
4 style.attlist =
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
5 title.attrib,
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
6 I18n.attrib,
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
7 attribute type { ContentType.datatype },
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
8 attribute media { MediaDesc.datatype }?,
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
9 attribute xml:space { "preserve" }?
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
10 head.content &= style*