diff --git a/ChangeLog b/ChangeLog index d788945ef..8a1cd7b05 100755 --- a/ChangeLog +++ b/ChangeLog @@ -7,6 +7,7 @@ $Source$ 2006-10-09 Marc Delisle * libraries/export/sql.php: bug #1562533, problems with unbuffered queries + * Documentation.html: FontFamily, FontFamilyFixed 2006-10-07 Marc Delisle * scripts/create-release.sh: use lang-cleanup.sh from the kit, diff --git a/Documentation.html b/Documentation.html index c5f9abbe9..2a747abf8 100755 --- a/Documentation.html +++ b/Documentation.html @@ -1476,6 +1476,17 @@ ALTER TABLE `pma_column_comments` them.
See themes/themename/layout.inc.php. + +
$cfg['FontFamily'] string
+
You put here a valid CSS font family value, for example + arial, sans-serif.
+ See themes/themename/layout.inc.php.
+ +
$cfg['FontFamilyFixed'] string
+
You put here a valid CSS font family value, for example + monospace. This one is used in textarea.
+ See themes/themename/layout.inc.php.
+
$cfg['BrowsePointerEnable'] boolean
Whether to activate the browse pointer or not.