Re: Group parameters / `gnus-parameters'

[Sébastien Vauban]

Hello Reiner,

Stupid question (yes, yes): how do you do to make such a nice
highlighting of code snippet?

--- gnus.texi.~6.603.2.144.~    2007-12-14 22:43:49.000000000 +0100
+++ gnus.texi   2007-12-18 12:41:52.000000000 +0100
@@ -2717,6 +2717,15 @@
 @cindex group parameters

[...] 

 Group parameters can be set via the @code{gnus-parameters} variable too.
 But some variables, such as @code{visible}, have no effect (For this


Are there key default bindings to do so? Do we have to load an
extra package first?

I knew about `boxquote', but not about this...

Thanks in advance,
  Seb

-- 
Sébastien Vauban