Mercurial > emacs
annotate etc/schema/xhtml-xstyle.rnc @ 109024:f24aeaefbe37
Fix occasional recentering under scroll-conservatively.
xdisp.c (try_scrolling): Compute the limit for searching point
in forward scroll from scroll_max, instead of an arbitrary limit
of 10 screen lines. See
http://lists.gnu.org/archive/html/emacs-devel/2010-06/msg00766.html and
http://lists.gnu.org/archive/html/emacs-devel/2010-06/msg00773.html for
details.
author | Eli Zaretskii <eliz@gnu.org> |
---|---|
date | Sat, 19 Jun 2010 12:40:15 +0300 |
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* |