On Tue, Oct 21, 2003 at 09:33:29AM +0300, Martin Vermeer spake thusly: > > On Mon, Oct 20, 2003 at 09:10:51PM +0000, Angus Leeming spake thusly:
...
> I have experimentally placed display() =true in footnote/marginnote
> and floatinsets. I think eventually we want to make all collapsable
> insets displayed *when open*.
>
> As for insetinclude, insettoc etc. -- the "button insets", I wonder.
> The current system, with center_indent_ and the button as a sensitive
> box, works. But we need display() in order to make the line above the
> inset not stretch. So once we have it, I suppose we could get rid of
> center_indent as the inset will be centered anyway. But I would leave
> the button box logic in place -- it's only three lines and it's IMHO
> conceptually wise to distinguish inset and button. But that's just my
> opinion.
Attached is a patch that does the following:
1) André's remaining points (define things as locally as you can)
2) The "silly" bug is now eliminated. It consisted actually of two
sub-bugs:
a) After a text-wide/displayed inset, an extra row would be produced
not containing any character belonging to the par. This is fixed
in the second chunk of text.C. Fundamentally correctly, I believe.
b) Empty paragraphs. Both when starting a new document, and when
having (or creating) an empty inset. This is handled in the
third chunk of text.C: don't try to access even the first
character in an empty paragraph.
3) display() is now made true for
a) Opened collapsable insets
b) "Button insets" like insetinclude, insetindex etc.
... and of course display mode math insets.
I haven't done anything to remove center_indent yet (this will produce
a problem with the input inset BTW, which according to policy (?)
should be displayed but not centered :-( )
Can this go in (as it is the polishing touch on the inset display
patch)?
- Martin
--
Martin Vermeer [EMAIL PROTECTED]
Helsinki University of Technology
Dept. of Surveying, Inst. of Geodesy
P.O. Box 1200, FIN-02015 HUT, Finland
:wq
x.diff.gz
Description: application/gunzip
pgp00000.pgp
Description: PGP signature
