Changeset 3408:6480db5950d2 for inc/admin

Timestamp:

11/13/16 16:42:00 (9 years ago)

Author:

franck <carnet.franck.paul@…>

Branch:

default

Message:

Add a user preference to change base font size (larger or smaller)

File:

• inc/admin/lib.dc.page.php (modified) (3 diffs)

inc/admin/lib.dc.page.php

@@ -172 +172 @@
                '<link rel="shortcut icon" href="images/favicon.ico" type="image/x-icon" />'."\n";
           }
+
+          if ($core->auth->user_prefs->interface->htmlfontsize) {
+               echo
+               '<script type="text/javascript">'."\n".
+               "//<![CDATA[\n".
+               self::jsVar('dotclear_htmlFontSize',$core->auth->user_prefs->interface->htmlfontsize).
+               "\n//]]>\n".
+               "</script>\n";
+          }
+
           echo
           self::jsCommon().
@@ -409 +419 @@
           }
 
+          $core->auth->user_prefs->addWorkspace('interface');
+          if ($core->auth->user_prefs->interface->htmlfontsize) {
+               echo
+               '<script type="text/javascript">'."\n".
+               "//<![CDATA[\n".
+               self::jsVar('dotclear_htmlFontSize',$core->auth->user_prefs->interface->htmlfontsize).
+               "\n//]]>\n".
+               "</script>\n";
+          }
+
           echo
           self::jsCommon().
@@ -414 +434 @@
           $head;
 
-          $core->auth->user_prefs->addWorkspace('interface');
           if ($core->auth->user_prefs->interface->hidemoreinfo) {
                echo