Re: The TeX button on 1.20pre5

2002-05-13 Thread Andre Poenitz
On Fri, May 10, 2002 at 09:13:30AM -0400, Max Bian wrote: Would it be better to make it work like this: insert an ERT box when there is no selection; create an ERT box with the selected text when there is selection; warn when the selection contains illegal elements. This would be better,

Re: The TeX button on 1.20pre5

2002-05-13 Thread Renaud MICHEL
Le Lundi 13 Mai 2002 10:02, vous avez écrit : On Fri, May 10, 2002 at 09:13:30AM -0400, Max Bian wrote: Would it be better to make it work like this: insert an ERT box when there is no selection; create an ERT box with the selected text when there is selection; warn when the selection

Re: The TeX button on 1.20pre5

2002-05-13 Thread Andre Poenitz
On Mon, May 13, 2002 at 05:02:15PM +0200, Renaud MICHEL wrote: Could you file an enhancement request for the 1.3 series on bugzilla.lyx.org? Can't this be done in the 1.2 series? I suppose there won't be any other change in 1.2.0 than bugfixes, but can't this be in 1.2.1? I suppose it

Re: The TeX button on 1.20pre5

2002-05-13 Thread Andre Poenitz
On Fri, May 10, 2002 at 09:13:30AM -0400, Max Bian wrote: Would it be better to make it work like this: insert an ERT box when there is no selection; create an ERT box with the selected text when there is selection; warn when the selection contains illegal elements. This would be better,

Re: The TeX button on 1.20pre5

2002-05-13 Thread Renaud MICHEL
Le Lundi 13 Mai 2002 10:02, vous avez écrit : On Fri, May 10, 2002 at 09:13:30AM -0400, Max Bian wrote: Would it be better to make it work like this: insert an ERT box when there is no selection; create an ERT box with the selected text when there is selection; warn when the selection

Re: The TeX button on 1.20pre5

2002-05-13 Thread Andre Poenitz
On Mon, May 13, 2002 at 05:02:15PM +0200, Renaud MICHEL wrote: Could you file an enhancement request for the 1.3 series on bugzilla.lyx.org? Can't this be done in the 1.2 series? I suppose there won't be any other change in 1.2.0 than bugfixes, but can't this be in 1.2.1? I suppose it

Re: The "TeX" button on 1.20pre5

2002-05-13 Thread Andre Poenitz
On Fri, May 10, 2002 at 09:13:30AM -0400, Max Bian wrote: > Would it be better to make it work like this: insert an ERT box when > there is no selection; create an ERT box with the selected text when > there is selection; warn when the selection contains illegal elements. This would be better,

Re: The "TeX" button on 1.20pre5

2002-05-13 Thread Renaud MICHEL
Le Lundi 13 Mai 2002 10:02, vous avez écrit : > On Fri, May 10, 2002 at 09:13:30AM -0400, Max Bian wrote: > > Would it be better to make it work like this: insert an ERT box when > > there is no selection; create an ERT box with the selected text when > > there is selection; warn when the

Re: The "TeX" button on 1.20pre5

2002-05-13 Thread Andre Poenitz
On Mon, May 13, 2002 at 05:02:15PM +0200, Renaud MICHEL wrote: > > Could you file an "enhancement request" for the 1.3 series on > > bugzilla.lyx.org? > > Can't this be done in the 1.2 series? > I suppose there won't be any other change in 1.2.0 than bugfixes, but can't > this be in 1.2.1? I

Re: The TeX button on 1.20pre5

2002-05-10 Thread John Levon
On Fri, May 10, 2002 at 09:13:30AM -0400, Max Bian wrote: Would it be better to make it work like this: insert an ERT box when there is no selection; create an ERT box with the selected text when there is selection; Yes it would be better -a and there is a bug and possibly a patch for this

Re: The TeX button on 1.20pre5

2002-05-10 Thread John Levon
On Fri, May 10, 2002 at 09:13:30AM -0400, Max Bian wrote: Would it be better to make it work like this: insert an ERT box when there is no selection; create an ERT box with the selected text when there is selection; Yes it would be better -a and there is a bug and possibly a patch for this

Re: The "TeX" button on 1.20pre5

2002-05-10 Thread John Levon
On Fri, May 10, 2002 at 09:13:30AM -0400, Max Bian wrote: > Would it be better to make it work like this: insert an ERT box when > there is no selection; create an ERT box with the selected text when > there is selection; Yes it would be better -a and there is a bug and possibly a patch for