Re: Shaded note = Colored Note???

2007-06-17 Thread Michael Gerz
why is a shaded note called shaded? AFAICS, a shaded note is in fact a colored note both on screen and in LaTeX output! I suggest renaming the menu item and the underlying code. If you agree, I will prepare a patch. Here comes a first proposal that cleans up the code. Personally, I

Re: Shaded note = Colored Note???

2007-06-17 Thread Enrico Forestieri
On Sun, Jun 17, 2007 at 11:19:37AM +0200, Michael Gerz wrote: Here comes a first proposal that cleans up the code. Personally, I think that we call too many things a note. At least, we are supposed to be consistent (internally externally) with this patch. What is missing is a lyx2lyx

Re: Shaded note = Colored Note???

2007-06-17 Thread Bo Peng
Also, we are supposed to focus on critical bugs now. -1 Bo

Re: Shaded note => Colored Note???

2007-06-17 Thread Michael Gerz
why is a "shaded note" called "shaded"? AFAICS, a shaded note is in fact a colored note both on screen and in LaTeX output! I suggest renaming the menu item and the underlying code. If you agree, I will prepare a patch. Here comes a first proposal that cleans up the code. Personally, I

Re: Shaded note => Colored Note???

2007-06-17 Thread Enrico Forestieri
On Sun, Jun 17, 2007 at 11:19:37AM +0200, Michael Gerz wrote: > Here comes a first proposal that cleans up the code. Personally, I > think that we call too many things a note. At least, we are supposed to > be consistent (internally & externally) with this patch. > > What is missing is a

Re: Shaded note => Colored Note???

2007-06-17 Thread Bo Peng
Also, we are supposed to focus on critical bugs now. -1 Bo

Shaded note = Colored Note???

2007-06-16 Thread Michael Gerz
Hi, why is a shaded note called shaded? AFAICS, a shaded note is in fact a colored note both on screen and in LaTeX output! I suggest renaming the menu item and the underlying code. If you agree, I will prepare a patch. Michael

Re: Shaded note = Colored Note???

2007-06-16 Thread Richard Heck
Michael Gerz wrote: Hi, why is a shaded note called shaded? AFAICS, a shaded note is in fact a colored note both on screen and in LaTeX output! I have no idea. When I added that menu entry, I stuck with the existing terminology. I suggest renaming the menu item and the underlying code. If you

Re: Shaded note = Colored Note???

2007-06-16 Thread Uwe Stöhr
I suggest renaming the menu item and the underlying code. If you agree, I will prepare a patch. I agree. Me too. Uwe

Shaded note => Colored Note???

2007-06-16 Thread Michael Gerz
Hi, why is a "shaded note" called "shaded"? AFAICS, a shaded note is in fact a colored note both on screen and in LaTeX output! I suggest renaming the menu item and the underlying code. If you agree, I will prepare a patch. Michael

Re: Shaded note => Colored Note???

2007-06-16 Thread Richard Heck
Michael Gerz wrote: Hi, why is a "shaded note" called "shaded"? AFAICS, a shaded note is in fact a colored note both on screen and in LaTeX output! I have no idea. When I added that menu entry, I stuck with the existing terminology. I suggest renaming the menu item and the underlying code. If

Re: Shaded note => Colored Note???

2007-06-16 Thread Uwe Stöhr
>> I suggest renaming the menu item and the underlying code. If you agree, I will prepare a patch. > I agree. Me too. Uwe