mailing-list for TeXmacs Users

[Miguel de Benito Delgado <address@hidden>]

If I replace your usage of datoms with a todo tag, the result seems to be / is the same. Why is datoms better?

Example:

These primitives are used to decorate <em|a posteriori> the

<datoms|<macro|x|<tabular|<tformat|<cwith|0|0|0|0|cell-background|pastel

yellow>|<table|<row|<cell|<arg|x>>>>>>>|lines of a paragraph, the lines of a

page, or the pages of a document.> Currently, only decorations of atoms on

lines of a paragraph have been implemented.

These primitives are used to decorate <em|a posteriori> the <todo|lines of a

paragraph, the lines of a page, or the pages of a document.> Currently, only

decorations of atoms on lines of a paragraph have been implemented.

--
Miguel de  Benito.

On Fri, Jul 4, 2014 at 9:19 AM, Sam Liddicott <address@hidden> wrote:

A table cell like that will affect word wrapping, but datoms this may work.

cut-n-paste this into a document to see.

These primitives are used to decorate <em|a posteriori> the
<datoms|<macro|x|<tabular|<tformat|<cwith|0|0|0|0|cell-background|pastel
yellow>|<table|<row|<cell|<arg|x>>>>>>>|lines of a paragraph , the lines of a
page, or the pages of a document.> Currently, only decorations of atoms on
lines of a paragraph have been implemented.

On Thu, Jul 3, 2014 at 8:31 AM, Miguel de Benito Delgado
<address@hidden> wrote:
> You can achieve this with a table of one cell, without borders, padding,
> etc. See std-markup.ts in the sources for an example in the macro "todo"
> (e.g. search for the word todo in the style files by pressing Shift+F1)
>
> --
> Miguel de  Benito.
>
>
> On Tue, Jul 1, 2014 at 1:38 PM, Zhao_yunsong <address@hidden> wrote:
>>
>> " <address@hidden>
>> Content-Transfer-Encoding: 7bit
>> Mime-Version: 1.0 (1.0)
>> X-CM-TRANSID:C9GowAAHUY3CnbJTOre1AA--.4384S2
>> X-Coremail-Antispam: 1Uf129KBjDUn29KB7ZKAUJUUUUU529EdanIXcx71UUUUU7v73
>>         VFW2AGmfu7bjvjm3AaLaJ3UbIYCTnIWIevJa73UjIFyTuYvjxU7ZXoDUUUU
>> X-Originating-IP: [117.136.38.241]
>> X-CM-SenderInfo: 52kd0s51xq20lqj6il2tof0z/1tbiMAW7MVEANVNdhQAAsQ
>>
>> How can I change background of just a few words? Thanks!
>>
>>
>