Changeset 3408:6480db5950d2 for admin/preferences.php

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:

• admin/preferences.php (modified) (4 diffs)

admin/preferences.php

@@ -43 +43 @@
 $user_ui_enhanceduploader = $core->auth->user_prefs->interface->enhanceduploader;
 $user_ui_hidemoreinfo = $core->auth->user_prefs->interface->hidemoreinfo;
+$user_ui_htmlfontsize = $core->auth->user_prefs->interface->htmlfontsize;
 if ($core->auth->isSuperAdmin()) {
      $user_ui_hide_std_favicon = $core->auth->user_prefs->interface->hide_std_favicon;
@@ -96 +97 @@
      }
 }
+
+# Base font size (50% = 8px, 62.5% = 10px, 75% = 12px)
+$htmlfontsize_combo = array(
+     __('Smaller') => '50%',
+     __('Default') => '62.5%',
+     __('Larger') => '75%'
+);
 
 # Language codes
@@ -231 +239 @@
           $core->auth->user_prefs->interface->put('enhanceduploader',!empty($_POST['user_ui_enhanceduploader']),'boolean');
           $core->auth->user_prefs->interface->put('hidemoreinfo',!empty($_POST['user_ui_hidemoreinfo']),'boolean');
+          $core->auth->user_prefs->interface->put('htmlfontsize',$_POST['user_ui_htmlfontsize'],'string');
           if ($core->auth->isSuperAdmin()) {
                # Applied to all users
@@ -505 +514 @@
 '<p><label for="user_ui_hidemoreinfo" class="classic">'.
 form::checkbox('user_ui_hidemoreinfo',1,$user_ui_hidemoreinfo).' '.
-__('Hide all secondary information and notes').'</label></p>';
+__('Hide all secondary information and notes').'</label></p>'.
+
+'<p><label for="user_ui_htmlfontsize">'.__('Font size:').'</label>'.
+form::combo('user_ui_htmlfontsize',$htmlfontsize_combo,$user_ui_htmlfontsize).'</p>';
 
 echo