Mercurial > emacs
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 |
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* |