mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

On Mon, Feb 25, 2008 at 05:22:37PM +0100, Javier Arantegui wrote:
> Hello,
> 
> El Lunes, 25 de Febrero de 2008, Joris van der Hoeven escribió:
> > You may try some of the other fold styles in Insert -> Fold -> Folded
> > If none of them suits you, then you may adapt the macro definition
> > from the style file.
> 
> I was afraid that I was going to get that answer :-/
> 
> Anyway, could you give me a hint what style file I should edit? I've been 
> looking for it but I couldn't find that definition. Luckily TeXmacs default 
> styles fit my needs and editing style files is something I do very rarely.

What about std-fold.ts ?

Best wishes, Joris