[XXE] media attribute in xml-stylesheet

2024-06-11 Thread Kevin Brubeck Unhammer
Hi,

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.

E.g. this is noticed by XmlMind:



while this is not noticed:



Is there a media attribute that *is* accepted by XmlMind?

If there is, one could do




and have one css be used by XmlMind, and one by other applications.



best regards,
Kevin

--
XMLmind XML Editor Support List
xmleditor-support@xmlmind.com
http://www.xmlmind.com/mailman/listinfo/xmleditor-support


Re: [XXE] media attribute in xml-stylesheet

2024-06-12 Thread Kevin Brubeck Unhammer
Hussein Shafie  čálii:
> On 6/11/24 14:27, Kevin Brubeck Unhammer wrote:
>> 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
>> > href="xxe.css"   type="text/css"?>
>> > 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.

I take it this means that the value(s) for @media which will be accepted
by XmlMind is still not decided on?

--
XMLmind XML Editor Support List
xmleditor-support@xmlmind.com
http://www.xmlmind.com/mailman/listinfo/xmleditor-support


Re: [XXE] media attribute in xml-stylesheet

2024-06-12 Thread Kevin Brubeck Unhammer
Hussein Shafie  čálii:

> For now, XXE accepts "xmlmind-xml-editor", "screen", "all", "print"
> (only when printing via the "File|Print" menu item). We don't see
> reasons to change these values (which should be documented and
> unfortunately are not).
>
> FYI, one of the bugs we have found is that media="screen" is accepted
> but not media="screen,tv,projection".

Aha, that explains it. So a future version of XXE may accept that @media
value, good to know. Thanks for clearing things up!

best regards,
Kevin

--
XMLmind XML Editor Support List
xmleditor-support@xmlmind.com
http://www.xmlmind.com/mailman/listinfo/xmleditor-support