Re: [patch] remove linuxdoc from all doc files

2007-07-18 Thread Jürgen Spitzmüller
Richard Heck wrote: I've done this: patch attached. That said, just removing the option from the dialog won't do anything one way or another about old files in which it exists. Those files will still be loaded with that option, and it won't be handled properly. Maybe that's OK for now, but

Re: [patch] remove linuxdoc from all doc files

2007-07-18 Thread Richard Heck
Jürgen Spitzmüller wrote: Richard Heck wrote: I've done this: patch attached. That said, just removing the option from the dialog won't do anything one way or another about old files in which it exists. Those files will still be loaded with that option, and it won't be handled properly.

Re: [patch] remove linuxdoc from all doc files

2007-07-18 Thread José Matos
On Wednesday 18 July 2007 07:22:17 Richard Heck wrote: Presumably, if you load one of these, it'll load fine, but if you opened one of the URL insets and did something to it, it'd be changed from htmlurl to url behind your back. Again, maybe not a huge problem, since that's what the lyx2lyx

Re: [patch] remove linuxdoc from all doc files

2007-07-18 Thread José Matos
On Wednesday 18 July 2007 11:07:33 José Matos wrote:   I propose to ignore this for the moment. It is low hanging fruit so we can take care of it at any time. In case it matters this really means to move this fix to 1.6 since it (possibly) involves a file format change. -- José Abílio --

Re: [patch] remove linuxdoc from all doc files

2007-07-18 Thread Uwe Stöhr
I propose to ignore this for the moment. It is low hanging fruit so we can take care of it at any time. OK, but what about the docs? Should I remove the description of linuxdoc or not? regards Uwe

Re: [patch] remove linuxdoc from all doc files

2007-07-18 Thread José Matos
On Wednesday 18 July 2007 12:38:05 Uwe Stöhr wrote: OK, but what about the docs? Should I remove the description of linuxdoc or not? Remove it. regards Uwe -- José Abílio

Re: [patch] remove linuxdoc from all doc files

2007-07-18 Thread Uwe Stöhr
OK, but what about the docs? Should I remove the description of linuxdoc or not? Remove it. Done. Uwe

Re: [patch] remove linuxdoc from all doc files

2007-07-18 Thread Jürgen Spitzmüller
Richard Heck wrote: > I've done this: patch attached. That said, just removing the option from > the dialog won't do anything one way or another about old files in which > it exists. Those files will still be loaded with that option, and it > won't be handled properly. > > Maybe that's OK for now,

Re: [patch] remove linuxdoc from all doc files

2007-07-18 Thread Richard Heck
Jürgen Spitzmüller wrote: Richard Heck wrote: I've done this: patch attached. That said, just removing the option from the dialog won't do anything one way or another about old files in which it exists. Those files will still be loaded with that option, and it won't be handled properly.

Re: [patch] remove linuxdoc from all doc files

2007-07-18 Thread José Matos
On Wednesday 18 July 2007 07:22:17 Richard Heck wrote: > > Presumably, if you load one of these, it'll load fine, but if you opened > one of the URL insets and did something to it, it'd be changed from > htmlurl to url behind your back. Again, maybe not a huge problem, since > that's what the

Re: [patch] remove linuxdoc from all doc files

2007-07-18 Thread José Matos
On Wednesday 18 July 2007 11:07:33 José Matos wrote: >   I propose to ignore this for the moment. It is low hanging fruit so we > can take care of it at any time. In case it matters this really means to move this fix to 1.6 since it (possibly) involves a file format change. > -- > José Abílio

Re: [patch] remove linuxdoc from all doc files

2007-07-18 Thread Uwe Stöhr
> I propose to ignore this for the moment. It is low hanging fruit so we can > take care of it at any time. OK, but what about the docs? Should I remove the description of linuxdoc or not? regards Uwe

Re: [patch] remove linuxdoc from all doc files

2007-07-18 Thread José Matos
On Wednesday 18 July 2007 12:38:05 Uwe Stöhr wrote: > OK, but what about the docs? Should I remove the description of linuxdoc or > not? Remove it. > regards Uwe -- José Abílio

Re: [patch] remove linuxdoc from all doc files

2007-07-18 Thread Uwe Stöhr
>> OK, but what about the docs? Should I remove the description of linuxdoc or >> not? > Remove it. Done. Uwe

[patch] remove linuxdoc from all doc files

2007-07-17 Thread Uwe Stöhr
Jürgen requested that I fix bug 2787: http://bugzilla.lyx.org/show_bug.cgi?id=2787 for LyX 1.5.0. I did this in the attached patch. (I can do the same for the translated manuals when I get the OK.) But when applying this, the generate hyperlink option in the URL dialog is then senseless

Re: [patch] remove linuxdoc from all doc files

2007-07-17 Thread Richard Heck
Uwe Stöhr wrote: Jürgen requested that I fix bug 2787: http://bugzilla.lyx.org/show_bug.cgi?id=2787 for LyX 1.5.0. I did this in the attached patch. (I can do the same for the translated manuals when I get the OK.) But when applying this, the generate hyperlink option in the URL dialog is

[patch] remove linuxdoc from all doc files

2007-07-17 Thread Uwe Stöhr
Jürgen requested that I fix bug 2787: http://bugzilla.lyx.org/show_bug.cgi?id=2787 for LyX 1.5.0. I did this in the attached patch. (I can do the same for the translated manuals when I get the OK.) But when applying this, the "generate hyperlink" option in the URL dialog is then senseless

Re: [patch] remove linuxdoc from all doc files

2007-07-17 Thread Richard Heck
Uwe Stöhr wrote: Jürgen requested that I fix bug 2787: http://bugzilla.lyx.org/show_bug.cgi?id=2787 for LyX 1.5.0. I did this in the attached patch. (I can do the same for the translated manuals when I get the OK.) But when applying this, the "generate hyperlink" option in the URL dialog is