Mercurial > emacs
annotate etc/schema/xhtml-xstyle.rnc @ 111753:f84b2c2c0b1b
Backport fixes for Bug#5390 and Bug#5694 from trunk.
* progmodes/python.el: Add Ipython support (Bug#5390).
(python-shell-prompt-alist)
(python-shell-continuation-prompt-alist): New options.
(python--set-prompt-regexp): New function.
(inferior-python-mode, run-python, python-shell): Require
ansi-color. Use python--set-prompt-regexp to set the comint
prompt based on the Python interpreter.
(python--prompt-regexp): New var.
(python-check-comint-prompt)
(python-comint-output-filter-function): Use it.
(run-python): Use a pipe (Bug#5694).
author | Chong Yidong <cyd@stupidchicken.com> |
---|---|
date | Sun, 21 Nov 2010 12:04:43 -0500 |
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* |