Skip to Content.
Sympa Menu

texmacs-users - Re: [TeXmacs] Possible bug in references and labels in the latest version of TeXmacs

Subject: mailing-list for TeXmacs Users

List archive

Re: [TeXmacs] Possible bug in references and labels in the latest version of TeXmacs


Chronological Thread 
  • From: Alvaro Tejero Cantero <address@hidden>
  • To: address@hidden
  • Subject: Re: [TeXmacs] Possible bug in references and labels in the latest version of TeXmacs
  • Date: Wed, 10 Nov 2010 07:50:08 +0100
  • Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:content-type :content-transfer-encoding; b=jC4E89jpFr4tjYcyfhxRuzOGer3S5rJVCSSpBdEYZxZH/rKXzkg473RcvX7qCFYjF7 Pj5nklPdJmhyLfeKmBuVPsJHyNlEfOZXDyac78uTKh6glNMZMka/yfhpx/sh3SagU0xI imnzi+zEL/3+rFqh6z0HlMN474nhHCmUNhecA=

I can confirm that tabbing doesn't work.

-á.



On Tue, Nov 9, 2010 at 22:18, Marc Mertens <address@hidden> wrote:
> Hello,
>
>    I have compiled and installed the latest version of TeXmacs and noticed
> the following bug. Normally when I want to create a label, I enter \label,
> press enter and fill in the name of the label and press enter again. When I
> want to make a reference to a label, I enter \reference, press enter and
> then
> either type in the label name or press tab many times to scan through the
> labels. In the latest version however I have the following behavior when I
> enter \reference. Instead of having the opportunity to type in the label
> name,
> the reference is closed and a question mark is displayed (invalid
> reference).
> If I press delete backwards, I can type in the label name in the reference,
> but using tabs is not working at all.
>   As I'm using labels and references a lot this can be very annoying. Can
> someone shine his light on this?
>
> Anyhow I still find TeXmacs a great product and really appreciate the work
> that you guys put in this product.
>
> Marc Mertens
>



Archive powered by MHonArc 2.6.19.

Top of Page