On 6/11/24 14:27, Kevin Brubeck Unhammer wrote:
I notice that if I have e.g. media="screen,tv,projection" in
xml-stylesheet,
it's not picked up by XmlMind, while if I remove the
media attribute, it works.
Correct.
E.g. this is noticed by XmlMind:
<?xml-stylesheet title="My view" href="foo.css" type="text/css"?>
while this is not noticed:
<?xml-stylesheet title="Not my view" media="screen,tv,projection" href="foo.css"
type="text/css"?>
Is there a media attribute that *is* accepted by XmlMind?
Yes, it is. Exact reference implemented by XXE:
https://www.w3.org/1999/06/REC-xml-stylesheet-19990629/
However after reading the code, it seems that we have a couple of bugs
related to the support of the "media" pseudo-attribute. Sorry for that!
If there is, one could do
<?xml-stylesheet title="My view" media="SOMETHING" href="xxe.css"
type="text/css"?>
<?xml-stylesheet title="Print" media="screen,tv,projection" href="print.css"
type="text/css"?>
and have one css be used by XmlMind, and one by other applications.
The above should work fine in next version of XXE. However it's too late
to do that in XXE v10.8 as we should release this version in the next
few days.
--
XMLmind XML Editor Support List
xmleditor-support@xmlmind.com
http://www.xmlmind.com/mailman/listinfo/xmleditor-support