Use Buffer const reference in most placees possible.

[lyx.git] / lib / lyxrc.example

diff --git a/lib/lyxrc.example b/lib/lyxrc.example
index 71f5e6917e98db7d01596adc7442e2e820c70d79..012a65e0a54b01f9a50c67a166115ec803d08bd0 100644 (file)
--- a/lib/lyxrc.example
+++ b/lib/lyxrc.example
@@ -1,11 +1,18 @@
-### This file is part of
-### =====================================================
-###
-###           LyX, the High Level Word Processor
-###
-###  Copyright 1995-1997 Matthias Ettrich & the LyX Team
-###
-### =====================================================
+# -*- text -*-
+
+# file lyxrc.example
+# This file is part of LyX, the document processor.
+# Licence details can be found in the file COPYING.
+
+# author Lars Gullik Bjønnes
+# author Jean-Marc Lasgouttes
+# author José Matos
+# author Asger Alstrup Nielsen
+# author Ed Scott
+# author Lior Silberman
+# author Dekel Tsur
+
+# Full author contact details are available in file CREDITS.
 
 # The file lyxrc.example is a template to write your own lyxrc file. 
 # If you copy/rename it to lyxrc in the current directory, it will
@@ -210,20 +217,20 @@
 # the same as what LaTeX calls latin1.
 #\screen_font_encoding iso8859-2
 
-# The norm for the menu/popups fonts. The default is an empty string, which
+# The norm for the popup fonts. The default is an empty string, which
 # causes to use the screen fonts norm (defined by \screen_font_encoding).
-#\screen_font_encoding_menu iso8859-2
+#\popup_font_encoding iso8859-2
 
 
-# The font for popups. It is set to 
+# The normal font for popups. It is set to 
 #    <font_popup>-*-*-*-?-*-*-*-*-<font_encoding>.
 # The default  is:
-#\screen_font_popup "-*-helvetica-medium-r"
+#\popup_font_name "-*-helvetica-medium-r"
 
-# The font for menus (and groups titles in popups). It is set to 
+# The bold font for popups. It is set to 
 #    <font_menu>-*-*-*-?-*-*-*-*-<font_encoding>.
 # The default  is:
-#\screen_font_menu "-*-helvetica-bold-r"
+#\popup_bold_font "-*-helvetica-bold-r"
 
 # The font sizes used for calculating the scaling of the screen fonts.
 # You should only have to change these if the fonts on your screen look bad,