current_font in ERT insets (was: Re: ERT in title bug)

2007-09-20 Thread Dov Feldstern
(changing the title, since it now sounds like this is really a separate issue from Neal's original issue...) Martin Vermeer wrote: The attached seems to fix it and has the merit of me sort of understanding why it works. - Martin Thanks, Martin! This does indeed fix the issue I was

Re: current_font in ERT insets (was: Re: ERT in title bug)

2007-09-20 Thread Martin Vermeer
On Fri, Sep 21, 2007 at 01:19:48AM +0200, Dov Feldstern wrote: (changing the title, since it now sounds like this is really a separate issue from Neal's original issue...) Martin Vermeer wrote: The attached seems to fix it and has the merit of me sort of understanding why it works.

current_font in ERT insets (was: Re: ERT in title bug)

2007-09-20 Thread Dov Feldstern
(changing the title, since it now sounds like this is really a separate issue from Neal's original issue...) Martin Vermeer wrote: The attached seems to fix it and has the merit of me sort of understanding why it works. - Martin Thanks, Martin! This does indeed fix the issue I was

Re: current_font in ERT insets (was: Re: ERT in title bug)

2007-09-20 Thread Martin Vermeer
On Fri, Sep 21, 2007 at 01:19:48AM +0200, Dov Feldstern wrote: > > > (changing the title, since it now sounds like this is really a separate > issue from Neal's original issue...) > > > Martin Vermeer wrote: > > > >The attached seems to fix it and has the merit of me sort of > >understanding

Re: ERT in title bug

2007-09-17 Thread Jürgen Spitzmüller
Martin Vermeer wrote: Not needed... the fix replaces something that Abdel removed ;-) I'm confused. I thought this ERT in titel bug is something that appeared in 1.5.x? Jürgen

Re: ERT in title bug

2007-09-17 Thread Abdelrazak Younes
Jürgen Spitzmüller wrote: Martin Vermeer wrote: Not needed... the fix replaces something that Abdel removed ;-) I'm confused. I thought this ERT in titel bug is something that appeared in 1.5.x? Yes, but the thread was hijacked by a different problem in trunk. The 1.5.x is different but

Re: ERT in title bug

2007-09-17 Thread Jürgen Spitzmüller
Abdelrazak Younes wrote: Yes, but the thread was hijacked by a different problem in trunk. The 1.5.x is different but still present AFAIU. OK. Thanks for the clarification. Jürgen

Re: ERT in title bug

2007-09-17 Thread Jürgen Spitzmüller
Martin Vermeer wrote: > Not needed... the fix replaces something that Abdel removed ;-) I'm confused. I thought this "ERT in titel bug" is something that appeared in 1.5.x? Jürgen

Re: ERT in title bug

2007-09-17 Thread Abdelrazak Younes
Jürgen Spitzmüller wrote: Martin Vermeer wrote: Not needed... the fix replaces something that Abdel removed ;-) I'm confused. I thought this "ERT in titel bug" is something that appeared in 1.5.x? Yes, but the thread was hijacked by a different problem in trunk. The 1.5.x is different but

Re: ERT in title bug

2007-09-17 Thread Jürgen Spitzmüller
Abdelrazak Younes wrote: > Yes, but the thread was hijacked by a different problem in trunk. The > 1.5.x is different but still present AFAIU. OK. Thanks for the clarification. Jürgen

Re: ERT in title bug

2007-09-16 Thread Jürgen Spitzmüller
Martin Vermeer wrote: The attached seems to fix it and has the merit of me sort of understanding why it works. Do you also have a fix for branch? Jürgen

Re: ERT in title bug

2007-09-16 Thread Martin Vermeer
On Sun, Sep 16, 2007 at 04:00:34PM +0200, Jürgen Spitzmüller wrote: Martin Vermeer wrote: The attached seems to fix it and has the merit of me sort of understanding why it works. Do you also have a fix for branch? Not needed... the fix replaces something that Abdel removed ;-) - Martin

Re: ERT in title bug

2007-09-16 Thread Jürgen Spitzmüller
Martin Vermeer wrote: > The attached seems to fix it and has the merit of me sort of > understanding why it works. Do you also have a fix for branch? Jürgen

Re: ERT in title bug

2007-09-16 Thread Martin Vermeer
On Sun, Sep 16, 2007 at 04:00:34PM +0200, Jürgen Spitzmüller wrote: > Martin Vermeer wrote: > > The attached seems to fix it and has the merit of me sort of > > understanding why it works. > > Do you also have a fix for branch? Not needed... the fix replaces something that Abdel removed ;-) -

Re: ERT in title bug

2007-09-12 Thread Abdelrazak Younes
Martin Vermeer wrote: On Tue, Sep 11, 2007 at 11:06:55PM +0200, Abdelrazak Younes wrote: Martin Vermeer wrote: I don't get this effect at all. Tried with article (AMS) and title layout. The title is in small caps, and no matter what I do, the ERT inset content is in lower case, standard size,

Re: ERT in title bug

2007-09-12 Thread Dov Feldstern
Abdelrazak Younes wrote: Martin Vermeer wrote: On Tue, Sep 11, 2007 at 11:06:55PM +0200, Abdelrazak Younes wrote: Martin Vermeer wrote: I don't get this effect at all. Tried with article (AMS) and title layout. The title is in small caps, and no matter what I do, the ERT inset content is in

Re: ERT in title bug

2007-09-12 Thread Neal Becker
On Wednesday 12 September 2007, Dov Feldstern wrote: Abdelrazak Younes wrote: Martin Vermeer wrote: On Tue, Sep 11, 2007 at 11:06:55PM +0200, Abdelrazak Younes wrote: Martin Vermeer wrote: I don't get this effect at all. Tried with article (AMS) and title layout. The title is in small

Re: ERT in title bug

2007-09-12 Thread Abdelrazak Younes
Dov Feldstern wrote: Abdelrazak Younes wrote: Martin Vermeer wrote: On Tue, Sep 11, 2007 at 11:06:55PM +0200, Abdelrazak Younes wrote: Martin Vermeer wrote: I don't get this effect at all. Tried with article (AMS) and title layout. The title is in small caps, and no matter what I do, the ERT

Re: ERT in title bug

2007-09-12 Thread Abdelrazak Younes
Neal Becker wrote: On Wednesday 12 September 2007, Dov Feldstern wrote: Abdelrazak Younes wrote: Martin Vermeer wrote: On Tue, Sep 11, 2007 at 11:06:55PM +0200, Abdelrazak Younes wrote: Martin Vermeer wrote: I don't get this effect at all. Tried with article (AMS) and title layout. The

Re: ERT in title bug

2007-09-12 Thread Dov Feldstern
Abdelrazak Younes wrote: Dov Feldstern wrote: Abdelrazak Younes wrote: Martin Vermeer wrote: On Tue, Sep 11, 2007 at 11:06:55PM +0200, Abdelrazak Younes wrote: Martin Vermeer wrote: I don't get this effect at all. Tried with article (AMS) and title layout. The title is in small caps, and no

Re: ERT in title bug

2007-09-12 Thread Abdelrazak Younes
Dov Feldstern wrote: So, does anyone know how it was solved? If we understand why it's now working, I guess the FIXMEs from r1 can be removed. Also, if Abdel says this is not working now in branch, the fix should be ported to branch, because the problem I'm describing is definitely a

Re: ERT in title bug

2007-09-12 Thread Dov Feldstern
Abdelrazak Younes wrote: Dov Feldstern wrote: So, does anyone know how it was solved? If we understand why it's now working, I guess the FIXMEs from r1 can be removed. Also, if Abdel says this is not working now in branch, the fix should be ported to branch, because the problem I'm

Re: ERT in title bug

2007-09-12 Thread Martin Vermeer
On Wed, Sep 12, 2007 at 06:10:36PM +0300, Dov Feldstern wrote: Abdelrazak Younes wrote: Dov Feldstern wrote: ... After a clean compile of trunk (r20239), I'm seeing strange stuff: *) type a few words, switch to \emph (ctrl-e) and continue typing, and then start an ERT inset (ctrl-l) and

Re: ERT in title bug

2007-09-12 Thread Martin Vermeer
On Wed, Sep 12, 2007 at 08:58:08PM +0300, Martin Vermeer wrote: On Wed, Sep 12, 2007 at 06:10:36PM +0300, Dov Feldstern wrote: Abdelrazak Younes wrote: Dov Feldstern wrote: ... After a clean compile of trunk (r20239), I'm seeing strange stuff: *) type a few words, switch to \emph

Re: ERT in title bug

2007-09-12 Thread Abdelrazak Younes
Martin Vermeer wrote: On Wed, Sep 12, 2007 at 08:58:08PM +0300, Martin Vermeer wrote: On Wed, Sep 12, 2007 at 06:10:36PM +0300, Dov Feldstern wrote: Abdelrazak Younes wrote: Dov Feldstern wrote: ... After a clean compile of trunk (r20239), I'm seeing strange stuff: *) type a few words,

Re: ERT in title bug

2007-09-12 Thread Abdelrazak Younes
Martin Vermeer wrote: On Tue, Sep 11, 2007 at 11:06:55PM +0200, Abdelrazak Younes wrote: Martin Vermeer wrote: I don't get this effect at all. Tried with article (AMS) and title layout. The title is in small caps, and no matter what I do, the ERT inset content is in lower case, standard size,

Re: ERT in title bug

2007-09-12 Thread Dov Feldstern
Abdelrazak Younes wrote: Martin Vermeer wrote: On Tue, Sep 11, 2007 at 11:06:55PM +0200, Abdelrazak Younes wrote: Martin Vermeer wrote: I don't get this effect at all. Tried with article (AMS) and title layout. The title is in small caps, and no matter what I do, the ERT inset content is in

Re: ERT in title bug

2007-09-12 Thread Neal Becker
On Wednesday 12 September 2007, Dov Feldstern wrote: > Abdelrazak Younes wrote: > > Martin Vermeer wrote: > >> On Tue, Sep 11, 2007 at 11:06:55PM +0200, Abdelrazak Younes wrote: > >>> Martin Vermeer wrote: > I don't get this effect at all. Tried with article (AMS) and title > layout. The

Re: ERT in title bug

2007-09-12 Thread Abdelrazak Younes
Dov Feldstern wrote: Abdelrazak Younes wrote: Martin Vermeer wrote: On Tue, Sep 11, 2007 at 11:06:55PM +0200, Abdelrazak Younes wrote: Martin Vermeer wrote: I don't get this effect at all. Tried with article (AMS) and title layout. The title is in small caps, and no matter what I do, the ERT

Re: ERT in title bug

2007-09-12 Thread Abdelrazak Younes
Neal Becker wrote: On Wednesday 12 September 2007, Dov Feldstern wrote: Abdelrazak Younes wrote: Martin Vermeer wrote: On Tue, Sep 11, 2007 at 11:06:55PM +0200, Abdelrazak Younes wrote: Martin Vermeer wrote: I don't get this effect at all. Tried with article (AMS) and title layout. The

Re: ERT in title bug

2007-09-12 Thread Dov Feldstern
Abdelrazak Younes wrote: Dov Feldstern wrote: Abdelrazak Younes wrote: Martin Vermeer wrote: On Tue, Sep 11, 2007 at 11:06:55PM +0200, Abdelrazak Younes wrote: Martin Vermeer wrote: I don't get this effect at all. Tried with article (AMS) and title layout. The title is in small caps, and no

Re: ERT in title bug

2007-09-12 Thread Abdelrazak Younes
Dov Feldstern wrote: So, does anyone know how it was solved? If we understand why it's now working, I guess the FIXMEs from r1 can be removed. Also, if Abdel says this is not working now in branch, the fix should be ported to branch, because the problem I'm describing is definitely a

Re: ERT in title bug

2007-09-12 Thread Dov Feldstern
Abdelrazak Younes wrote: Dov Feldstern wrote: So, does anyone know how it was solved? If we understand why it's now working, I guess the FIXMEs from r1 can be removed. Also, if Abdel says this is not working now in branch, the fix should be ported to branch, because the problem I'm

Re: ERT in title bug

2007-09-12 Thread Martin Vermeer
On Wed, Sep 12, 2007 at 06:10:36PM +0300, Dov Feldstern wrote: > Abdelrazak Younes wrote: > >Dov Feldstern wrote: ... > After a clean compile of trunk (r20239), I'm seeing strange stuff: > > *) type a few words, switch to \emph (ctrl-e) and continue typing, and > then start an ERT inset

Re: ERT in title bug

2007-09-12 Thread Martin Vermeer
On Wed, Sep 12, 2007 at 08:58:08PM +0300, Martin Vermeer wrote: > On Wed, Sep 12, 2007 at 06:10:36PM +0300, Dov Feldstern wrote: > > Abdelrazak Younes wrote: > > >Dov Feldstern wrote: > > ... > > > After a clean compile of trunk (r20239), I'm seeing strange stuff: > > > > *) type a few words,

Re: ERT in title bug

2007-09-12 Thread Abdelrazak Younes
Martin Vermeer wrote: On Wed, Sep 12, 2007 at 08:58:08PM +0300, Martin Vermeer wrote: On Wed, Sep 12, 2007 at 06:10:36PM +0300, Dov Feldstern wrote: Abdelrazak Younes wrote: Dov Feldstern wrote: ... After a clean compile of trunk (r20239), I'm seeing strange stuff: *) type a few words,

ERT in title bug

2007-09-11 Thread Neal Becker
In my title I tried to insert: Revision ERT{\input{build_id}} On the screen, it says: \INPUT{BUILD_ID} because I'm using ams art, and title is caps. I chose 'view source', it says: \title{SCMA Design Document\\ Revision \input{build_id}} \maketitle OK, fine. Just a screen buglet. Wait, no!

Re: ERT in title bug

2007-09-11 Thread Jürgen Spitzmüller
Neal Becker wrote: In my title I tried to insert: Revision ERT{\input{build_id}} On the screen, it says: \INPUT{BUILD_ID} because I'm using ams art, and title is caps. I chose 'view source', it says: \title{SCMA Design Document\\ Revision \input{build_id}} \maketitle OK, fine.  Just

Re: ERT in title bug

2007-09-11 Thread Dov Feldstern
Jürgen Spitzmüller wrote: Neal Becker wrote: In my title I tried to insert: Revision ERT{\input{build_id}} On the screen, it says: \INPUT{BUILD_ID} because I'm using ams art, and title is caps. I chose 'view source', it says: \title{SCMA Design Document\\ Revision \input{build_id}}

Re: ERT in title bug

2007-09-11 Thread Martin Vermeer
On Tue, Sep 11, 2007 at 10:11:42PM +0300, Dov Feldstern wrote: Jürgen Spitzmüller wrote: Neal Becker wrote: In my title I tried to insert: Revision ERT{\input{build_id}} On the screen, it says: \INPUT{BUILD_ID} because I'm using ams art, and title is caps. I chose 'view source', it

Re: ERT in title bug

2007-09-11 Thread Abdelrazak Younes
Neal Becker wrote: In my title I tried to insert: Revision ERT{\input{build_id}} On the screen, it says: \INPUT{BUILD_ID} because I'm using ams art, and title is caps. I chose 'view source', it says: \title{SCMA Design Document\\ Revision \input{build_id}} \maketitle OK, fine. Just a

Re: ERT in title bug

2007-09-11 Thread Abdelrazak Younes
Martin Vermeer wrote: I don't get this effect at all. Tried with article (AMS) and title layout. The title is in small caps, and no matter what I do, the ERT inset content is in lower case, standard size, typewriter LaTeX red text, just as it is supposed to be. What should I do to see the bug?

Re: ERT in title bug

2007-09-11 Thread Martin Vermeer
On Tue, Sep 11, 2007 at 11:06:55PM +0200, Abdelrazak Younes wrote: Martin Vermeer wrote: I don't get this effect at all. Tried with article (AMS) and title layout. The title is in small caps, and no matter what I do, the ERT inset content is in lower case, standard size, typewriter LaTeX red

ERT in title bug

2007-09-11 Thread Neal Becker
In my title I tried to insert: Revision ERT{\input{build_id}} On the screen, it says: \INPUT{BUILD_ID} because I'm using ams art, and title is caps. I chose 'view source', it says: \title{SCMA Design Document\\ Revision \input{build_id}} \maketitle OK, fine. Just a screen buglet. Wait, no!

Re: ERT in title bug

2007-09-11 Thread Jürgen Spitzmüller
Neal Becker wrote: > In my title I tried to insert: > > Revision ERT{\input{build_id}} > > On the screen, it says: \INPUT{BUILD_ID} > > because I'm using ams art, and title is caps. > > I chose 'view source', it says: > \title{SCMA Design Document\\ > Revision \input{build_id}} > > \maketitle > >

Re: ERT in title bug

2007-09-11 Thread Dov Feldstern
Jürgen Spitzmüller wrote: Neal Becker wrote: In my title I tried to insert: Revision ERT{\input{build_id}} On the screen, it says: \INPUT{BUILD_ID} because I'm using ams art, and title is caps. I chose 'view source', it says: \title{SCMA Design Document\\ Revision \input{build_id}}

Re: ERT in title bug

2007-09-11 Thread Martin Vermeer
On Tue, Sep 11, 2007 at 10:11:42PM +0300, Dov Feldstern wrote: > Jürgen Spitzmüller wrote: > >Neal Becker wrote: > >>In my title I tried to insert: > >> > >>Revision ERT{\input{build_id}} > >> > >>On the screen, it says: \INPUT{BUILD_ID} > >> > >>because I'm using ams art, and title is caps. > >>

Re: ERT in title bug

2007-09-11 Thread Abdelrazak Younes
Neal Becker wrote: In my title I tried to insert: Revision ERT{\input{build_id}} On the screen, it says: \INPUT{BUILD_ID} because I'm using ams art, and title is caps. I chose 'view source', it says: \title{SCMA Design Document\\ Revision \input{build_id}} \maketitle OK, fine. Just a

Re: ERT in title bug

2007-09-11 Thread Abdelrazak Younes
Martin Vermeer wrote: I don't get this effect at all. Tried with article (AMS) and title layout. The title is in small caps, and no matter what I do, the ERT inset content is in lower case, standard size, typewriter LaTeX red text, just as it is supposed to be. What should I do to see the bug?

Re: ERT in title bug

2007-09-11 Thread Martin Vermeer
On Tue, Sep 11, 2007 at 11:06:55PM +0200, Abdelrazak Younes wrote: > Martin Vermeer wrote: > > > >I don't get this effect at all. Tried with article (AMS) and title > >layout. The title is in small caps, and no matter what I do, the ERT > >inset content is in lower case, standard size, typewriter