mailing-list for TeXmacs Users

[Sam Liddicott <address@hidden>]

I notice that although the coloured html output looks right, it is not helpful for cut-n-paste back into texmacs.

For instance:

http://www.ceremade.dauphine.fr/~mgubi/tm-web/manual/webman-styling.en.html

See the notes on Macro Primitives, where this example is given: <assign|abbr|<macro|x|<rigid|x>>>

If I cut-n-paste from the browser I get the literal text:

<assign|abbr|<macro|x|<rigid|x>>>

but what the html represents is actually this (with missing characters underscored):

<assign|abbr|<macro|x|<rigid|<arg|x>>>>

It would be a convenience to be able to cut-n-paste examples from the manual into texmacs.

If we do not wish to make <arg|...> be more explicit in the manual, then perhaps using hidden text in the exported page would do, using the hidden class from: http://webaim.org/techniques/css/invisiblecontent/

<i><span class="hidden;">&lt;arg|</span>x<span class="hidden">&gt;</span></i>

This would also make the screen-reader output (where the colour is not apparent) accurate too.

I've also tested that this hidden class makes the text copied from the html manual accurate.

Sam

On Mon, Mar 19, 2012 at 4:08 PM, Massimiliano Gubinelli <address@hidden> wrote:

Here some other small changes,

http://www.ceremade.dauphine.fr/~mgubi/tm-web/home/welcome.en.html

essentially I've tried to keep the overall coloring scheme and just reduce the visual noise created by the various borders in the current style.

If somebody knows how to programmatically (via _javascript_) select different style files I could try to hack up a system to compare different solutions.


Best
max