Changeset 3499:4f82fdafce03 for admin/preferences.php

Timestamp:

01/04/17 10:20:59 (9 years ago)

Author:

franck <carnet.franck.paul@…>

Branch:

default

Message:

Adaptive admin font size is now optional

File:

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

admin/preferences.php

@@ -44 +44 @@
 $user_ui_hidemoreinfo = $core->auth->user_prefs->interface->hidemoreinfo;
 $user_ui_htmlfontsize = $core->auth->user_prefs->interface->htmlfontsize;
+$user_ui_dynfontsize = $core->auth->user_prefs->interface->dynfontsize;
 if ($core->auth->isSuperAdmin()) {
      $user_ui_hide_std_favicon = $core->auth->user_prefs->interface->hide_std_favicon;
@@ -242 +243 @@
           $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');
+          $core->auth->user_prefs->interface->put('dynfontsize',!empty($_POST['user_ui_dynfontsize']),'boolean');
           if ($core->auth->isSuperAdmin()) {
                # Applied to all users
@@ -517 +519 @@
 
 '<p><label for="user_ui_htmlfontsize" class="classic">'.__('Font size:').'</label>'.' '.
-form::combo('user_ui_htmlfontsize',$htmlfontsize_combo,$user_ui_htmlfontsize).'</p>';
+form::combo('user_ui_htmlfontsize',$htmlfontsize_combo,$user_ui_htmlfontsize).'</p>'.
+
+'<p><label for="user_ui_dynfontsize" class="classic">'.
+form::checkbox('user_ui_dynfontsize',1,$user_ui_dynfontsize).' '.
+__('Activate adpative font size').'</label></p>'.
+'<p class="clear form-note">'.__('If checked, font size will vary depending on viewport size (from 12px to 16px with default font size selected).').'</p>';
 
 echo