diff --git a/ChangeLog b/ChangeLog index 607a62220..53fa9d56d 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 a0b798620..e8127a619 100755 --- a/Documentation.html +++ b/Documentation.html @@ -1457,6 +1457,16 @@ 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.