> "Amir" == Amir Karger <[EMAIL PROTECTED]> writes:
>> I see. Actually, I like the idea of labelling an object, even
>> though it will not be output in LaTeX and will not allow
>> crossreferencing.
Amir> OK. So why haven't you implemented it yet?
Because it does not make sense before the k
On Thu, 11 Mar 1999, Amir Karger wrote:
> [foo] part could be a sort of paragraph characteristic. Of course,
> this would need to be editable, while a label isn't. [...] Except that
> editing a label is dangerous, since it breaks any cross references to
> that label.)
Bibliography label are edit
On Thu, Mar 11, 1999 at 05:12:01PM +0100, Jean-Marc Lasgouttes wrote:
> > "Amir" == Amir Karger <[EMAIL PROTECTED]> writes:
>
> Amir> I was saying that you might want to create a way of giving every
> Amir> inset a label, so even when it was folded you'd know what it
> Amir> was. So even inse
> "Amir" == Amir Karger <[EMAIL PROTECTED]> writes:
Amir> On Wed, Mar 10, 1999 at 10:55:15AM +0100, Jean-Marc Lasgouttes
Amir> wrote:
>> > "Amir" == Amir Karger <[EMAIL PROTECTED]> writes:
>>
>> The question here is whether we should associate labels to the
>> paragraph itself. There are
On Wed, Mar 10, 1999 at 10:55:15AM +0100, Jean-Marc Lasgouttes wrote:
> > "Amir" == Amir Karger <[EMAIL PROTECTED]> writes:
>
> The question here is whether we should associate labels to the
> paragraph itself. There are some cases where this does not replace a
> label inset, but I think it w
> "Amir" == Amir Karger <[EMAIL PROTECTED]> writes:
Amir> Has something like this been mentioned before? When you
Amir> collapse a figure, you get a little red "fig". Wouldn't it be
Amir> neat if instead you got the label with which you had labelled
Amir> that fig? (Of course, this wouldn't
Has something like this been mentioned before?
When you collapse a figure, you get a little red "fig". Wouldn't it be neat
if instead you got the label with which you had labelled that fig? (Of
course, this wouldn't work if you hadn't put in a lable...) In otherwords,
if there's a label somewhere
