auctex-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[AUCTeX-devel] Re: making folding work together with previewing


From: Joe Wells
Subject: [AUCTeX-devel] Re: making folding work together with previewing
Date: Thu, 20 Sep 2007 22:23:51 +0100
User-agent: Gnus/5.11 (Gnus v5.11) Emacs/22.1 (gnu/linux)

Ralf Angeli writes:

> * Joe Wells (2007-09-19) writes:
>
> > It works by putting most (all but the last chunk of text) of the
> > folded material into the before-string property of the overlay
> > used for folding.
>
> Doesn't it work with the display property as originally done?

No, because recursive display properties are ignored.  If you put a
display property on a string used as a display property, the nested
display property will have no effect.  That's why I have to use one of
the before-string or after-string properties.

Personally, I think it would be better to allow some recursion on
display properties with a limit (e.g., like max-lisp-eval-depth).

> > By the way, the patch also makes some of the fontification show up
> > in the tooltips for folded material.
>
> That should probably be installed with a separate patch then.

Sure.  Feel free to consider this part separately.  It's the part at
the end of TeX-fold-hide-item where I put the fontified text on a
display property of the help-echo string, instead of using it directly
as the help-echo string.

This is a workaround that prevents tooltip-show from smashing the face
information completely.  (A better long-term fix would be to convince
the tooltip package maintainers to provide some way to avoid having
the tooltip face placed on the string.)

> However, I'm not sure if fontification in tooltips is always
> desirable.

I think in this case it is desirable.

> But then, I usually have Tooltip mode disabled and
> therefore have no strong opinion here.  BTW, with Tooltip mode
> disabled you get the fontification.

Indeed (although the display is in the echo area (minibuffer)), and I
think it would be nice if the tooltip display worked the same, or at
least as similarly as possible.

-- 
Joe




reply via email to

[Prev in Thread] Current Thread [Next in Thread]