Re: [PATCH] Add Framed and Shaded to Notes Menu

2007-06-07 Thread Martin Vermeer
On Wed, 06 Jun 2007 22:05:38 +0100
José Matos [EMAIL PROTECTED] wrote:

 On Wednesday 06 June 2007 21:26:22 Richard Heck wrote:
  I thought I'd alphabetize the ones after LyX Note. It doesn't much
  matter, though. Feel free to commit whichever one you like.
 
   +1
 
   Please, could one of you toss a coin and submit that option? ;-)
 
  rh

OK Richard. Put yours in.

- Martin


Re: [PATCH] Add Framed and Shaded to Notes Menu

2007-06-07 Thread Jean-Marc Lasgouttes
 Martin == Martin Vermeer [EMAIL PROTECTED] writes:

Martin On Wed, 06 Jun 2007 22:05:38 +0100
Martin José Matos [EMAIL PROTECTED] wrote:

 On Wednesday 06 June 2007 21:26:22 Richard Heck wrote:  I thought
 I'd alphabetize the ones after LyX Note. It doesn't much  matter,
 though. Feel free to commit whichever one you like.
 
 +1
 
 Please, could one of you toss a coin and submit that option? ;-)
 
  rh

Martin OK Richard. Put yours in.

I prefer the version that does not repeat Note on each entry. 

JMarc


Re: [PATCH] Add Framed and Shaded to Notes Menu

2007-06-07 Thread Martin Vermeer
On Wed, 06 Jun 2007 22:05:38 +0100
José Matos <[EMAIL PROTECTED]> wrote:

> On Wednesday 06 June 2007 21:26:22 Richard Heck wrote:
> > I thought I'd alphabetize the ones after LyX Note. It doesn't much
> > matter, though. Feel free to commit whichever one you like.
> 
>   +1
> 
>   Please, could one of you toss a coin and submit that option? ;-)
> 
> > rh

OK Richard. Put yours in.

- Martin


Re: [PATCH] Add Framed and Shaded to Notes Menu

2007-06-07 Thread Jean-Marc Lasgouttes
> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:

Martin> On Wed, 06 Jun 2007 22:05:38 +0100
Martin> José Matos <[EMAIL PROTECTED]> wrote:

>> On Wednesday 06 June 2007 21:26:22 Richard Heck wrote: > I thought
>> I'd alphabetize the ones after LyX Note. It doesn't much > matter,
>> though. Feel free to commit whichever one you like.
>> 
>> +1
>> 
>> Please, could one of you toss a coin and submit that option? ;-)
>> 
>> > rh

Martin> OK Richard. Put yours in.

I prefer the version that does not repeat "Note" on each entry. 

JMarc


[PATCH] Add Framed and Shaded to Notes Menu

2007-06-06 Thread Richard Heck


As said. Neither Jurgen nor I knew these existed.

Richard

--
==
Richard G Heck, Jr
Professor of Philosophy
Brown University
http://frege.brown.edu/heck/
==
Get my public key from http://sks.keyserver.penguin.de
Hash: 0x1DE91F1E66FFBDEC
Learn how to sign your email using Thunderbird and GnuPG at:
http://dudu.dyn.2-h.org/nist/gpg-enigmail-howto

Index: stdmenus.inc
===
--- stdmenus.inc	(revision 18689)
+++ stdmenus.inc	(working copy)
@@ -394,7 +394,9 @@
 	Menu insert_note
 		Item LyX Note|N note-insert Note
 		Item Comment|C note-insert Comment
+		Item Framed Note|F note-insert Framed
 		Item Greyed Out|G note-insert Greyedout
+		Item Shaded Note|S note-insert Shaded
 	End
 
 	Menu insert_branches


Re: [PATCH] Add Framed and Shaded to Notes Menu

2007-06-06 Thread Martin Vermeer
On Wed, Jun 06, 2007 at 03:43:55PM -0400, Richard Heck wrote:
 
 As said. Neither Jurgen nor I knew these existed.
 
 Richard
 
 -- 
 ==
 Richard G Heck, Jr
 Professor of Philosophy
 Brown University
 http://frege.brown.edu/heck/
 ==
 Get my public key from http://sks.keyserver.penguin.de
 Hash: 0x1DE91F1E66FFBDEC
 Learn how to sign your email using Thunderbird and GnuPG at:
 http://dudu.dyn.2-h.org/nist/gpg-enigmail-howto
 

 Index: stdmenus.inc
 ===
 --- stdmenus.inc  (revision 18689)
 +++ stdmenus.inc  (working copy)
 @@ -394,7 +394,9 @@
   Menu insert_note
   Item LyX Note|N note-insert Note
   Item Comment|C note-insert Comment
 + Item Framed Note|F note-insert Framed
   Item Greyed Out|G note-insert Greyedout
 + Item Shaded Note|S note-insert Shaded
   End
  
   Menu insert_branches

I came up simultaneously with the attached... why the different order?

Seems the new items were added to stdmenus.ui (defunct, but
still in my local tree), not stdmenus.inc ;-/

- Martin

Index: stdmenus.inc
===
--- stdmenus.inc(revision 18579)
+++ stdmenus.inc(working copy)
@@ -395,6 +395,8 @@
Item LyX Note|N note-insert Note
Item Comment|C note-insert Comment
Item Greyed Out|G note-insert Greyedout
+   Item Framed|F note-insert Framed
+   Item Shaded|S note-insert Shaded
End
 
Menu insert_branches


Re: [PATCH] Add Framed and Shaded to Notes Menu

2007-06-06 Thread Richard Heck

Martin Vermeer wrote:

On Wed, Jun 06, 2007 at 03:43:55PM -0400, Richard Heck wrote:
  

As said. Neither Jurgen nor I knew these existed.


I came up simultaneously with the attached... why the different order?
  
I thought I'd alphabetize the ones after LyX Note. It doesn't much 
matter, though. Feel free to commit whichever one you like.


rh

Seems the new items were added to stdmenus.ui (defunct, but
still in my local tree), not stdmenus.inc ;-/

- Martin

  



Index: stdmenus.inc
===
--- stdmenus.inc(revision 18579)
+++ stdmenus.inc(working copy)
@@ -395,6 +395,8 @@
Item LyX Note|N note-insert Note
Item Comment|C note-insert Comment
Item Greyed Out|G note-insert Greyedout
+   Item Framed|F note-insert Framed
+   Item Shaded|S note-insert Shaded
End
 
 	Menu insert_branches
  



--
==
Richard G Heck, Jr
Professor of Philosophy
Brown University
http://frege.brown.edu/heck/
==
Get my public key from http://sks.keyserver.penguin.de
Hash: 0x1DE91F1E66FFBDEC
Learn how to sign your email using Thunderbird and GnuPG at:
http://dudu.dyn.2-h.org/nist/gpg-enigmail-howto



Re: [PATCH] Add Framed and Shaded to Notes Menu

2007-06-06 Thread José Matos
On Wednesday 06 June 2007 21:26:22 Richard Heck wrote:
 I thought I'd alphabetize the ones after LyX Note. It doesn't much
 matter, though. Feel free to commit whichever one you like.

  +1

  Please, could one of you toss a coin and submit that option? ;-)

 rh

-- 
José Abílio


[PATCH] Add Framed and Shaded to Notes Menu

2007-06-06 Thread Richard Heck


As said. Neither J"urgen nor I knew these existed.

Richard

--
==
Richard G Heck, Jr
Professor of Philosophy
Brown University
http://frege.brown.edu/heck/
==
Get my public key from http://sks.keyserver.penguin.de
Hash: 0x1DE91F1E66FFBDEC
Learn how to sign your email using Thunderbird and GnuPG at:
http://dudu.dyn.2-h.org/nist/gpg-enigmail-howto

Index: stdmenus.inc
===
--- stdmenus.inc	(revision 18689)
+++ stdmenus.inc	(working copy)
@@ -394,7 +394,9 @@
 	Menu "insert_note"
 		Item "LyX Note|N" "note-insert Note"
 		Item "Comment|C" "note-insert Comment"
+		Item "Framed Note|F" "note-insert Framed"
 		Item "Greyed Out|G" "note-insert Greyedout"
+		Item "Shaded Note|S" "note-insert Shaded"
 	End
 
 	Menu "insert_branches"


Re: [PATCH] Add Framed and Shaded to Notes Menu

2007-06-06 Thread Martin Vermeer
On Wed, Jun 06, 2007 at 03:43:55PM -0400, Richard Heck wrote:
> 
> As said. Neither J"urgen nor I knew these existed.
> 
> Richard
> 
> -- 
> ==
> Richard G Heck, Jr
> Professor of Philosophy
> Brown University
> http://frege.brown.edu/heck/
> ==
> Get my public key from http://sks.keyserver.penguin.de
> Hash: 0x1DE91F1E66FFBDEC
> Learn how to sign your email using Thunderbird and GnuPG at:
> http://dudu.dyn.2-h.org/nist/gpg-enigmail-howto
> 

> Index: stdmenus.inc
> ===
> --- stdmenus.inc  (revision 18689)
> +++ stdmenus.inc  (working copy)
> @@ -394,7 +394,9 @@
>   Menu "insert_note"
>   Item "LyX Note|N" "note-insert Note"
>   Item "Comment|C" "note-insert Comment"
> + Item "Framed Note|F" "note-insert Framed"
>   Item "Greyed Out|G" "note-insert Greyedout"
> + Item "Shaded Note|S" "note-insert Shaded"
>   End
>  
>   Menu "insert_branches"

I came up simultaneously with the attached... why the different order?

Seems the new items were added to stdmenus.ui (defunct, but
still in my local tree), not stdmenus.inc ;-/

- Martin

Index: stdmenus.inc
===
--- stdmenus.inc(revision 18579)
+++ stdmenus.inc(working copy)
@@ -395,6 +395,8 @@
Item "LyX Note|N" "note-insert Note"
Item "Comment|C" "note-insert Comment"
Item "Greyed Out|G" "note-insert Greyedout"
+   Item "Framed|F" "note-insert Framed"
+   Item "Shaded|S" "note-insert Shaded"
End
 
Menu "insert_branches"


Re: [PATCH] Add Framed and Shaded to Notes Menu

2007-06-06 Thread Richard Heck

Martin Vermeer wrote:

On Wed, Jun 06, 2007 at 03:43:55PM -0400, Richard Heck wrote:
  

As said. Neither J"urgen nor I knew these existed.


I came up simultaneously with the attached... why the different order?
  
I thought I'd alphabetize the ones after LyX Note. It doesn't much 
matter, though. Feel free to commit whichever one you like.


rh

Seems the new items were added to stdmenus.ui (defunct, but
still in my local tree), not stdmenus.inc ;-/

- Martin

  



Index: stdmenus.inc
===
--- stdmenus.inc(revision 18579)
+++ stdmenus.inc(working copy)
@@ -395,6 +395,8 @@
Item "LyX Note|N" "note-insert Note"
Item "Comment|C" "note-insert Comment"
Item "Greyed Out|G" "note-insert Greyedout"
+   Item "Framed|F" "note-insert Framed"
+   Item "Shaded|S" "note-insert Shaded"
End
 
 	Menu "insert_branches"
  



--
==
Richard G Heck, Jr
Professor of Philosophy
Brown University
http://frege.brown.edu/heck/
==
Get my public key from http://sks.keyserver.penguin.de
Hash: 0x1DE91F1E66FFBDEC
Learn how to sign your email using Thunderbird and GnuPG at:
http://dudu.dyn.2-h.org/nist/gpg-enigmail-howto



Re: [PATCH] Add Framed and Shaded to Notes Menu

2007-06-06 Thread José Matos
On Wednesday 06 June 2007 21:26:22 Richard Heck wrote:
> I thought I'd alphabetize the ones after LyX Note. It doesn't much
> matter, though. Feel free to commit whichever one you like.

  +1

  Please, could one of you toss a coin and submit that option? ;-)

> rh

-- 
José Abílio