[Top][All Lists]
[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