[Summary view] [Print] [Text view]

   1  <?php
   2  # MantisBT - A PHP based bugtracking system
   3  # Copyright (C) 2002 - 2011  MantisBT Team - mantisbt-dev@lists.sourceforge.net
   4  # MantisBT is free software: you can redistribute it and/or modify
   5  # it under the terms of the GNU General Public License as published by
   6  # the Free Software Foundation, either version 2 of the License, or
   7  # (at your option) any later version.
   8  #
   9  # MantisBT is distributed in the hope that it will be useful,
  10  # but WITHOUT ANY WARRANTY; without even the implied warranty of
  11  # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12  # GNU General Public License for more details.
  13  #
  14  # You should have received a copy of the GNU General Public License
  15  # along with MantisBT.  If not, see <http://www.gnu.org/licenses/>.
  16  
  17  auth_reauthenticate( );
  18  access_ensure_global_level( config_get( 'manage_plugin_threshold' ) );
  19  
  20  html_page_top( plugin_lang_get( 'title' ) );
  21  
  22  print_manage_menu( );
  23  
  24  $t_current_font_selected = array(
  25      'arial' => false,
  26      'verdana' => false,
  27      'trebuchet' => false,
  28      'verasans' => false,
  29      'times' => false,
  30      'georgia' => false,
  31      'veraserif' => false,
  32      'courier' => false,
  33      'veramono' => false,
  34  );
  35  
  36  $t_current_font = plugin_config_get( 'font' );
  37  if ( isset( $t_current_font_selected[$t_current_font] ) ) {
  38      $t_current_font_selected[$t_current_font] = true;
  39  } else {
  40      $t_current_font_selected['arial'] = true;
  41  }
  42  
  43  /**
  44   * Prints checked="checked" to the end of a HTML <option> tag if the supplied
  45   * font name matches the current font configuration value.
  46   * @param string The name of the font to check
  47   * @return string Either checked="checked" for a match or otherwise an empty string
  48   */
  49  function print_font_checked( $p_font_name ) {
  50      global $t_current_font_selected;
  51  
  52      if ( isset( $t_current_font_selected[$p_font_name] ) ) {
  53          if ( $t_current_font_selected[$p_font_name] ) {
  54              return ' checked="checked"';
  55          }
  56      }
  57  
  58      return '';
  59  }
  60  
  61  ?>
  62  
  63  <br/>
  64  <form action="<?php echo plugin_page( 'config_edit' )?>" method="post">
  65  <?php echo form_security_field( 'plugin_graph_config_edit' ) ?>
  66  <table class="width75" cellspacing="1">
  67  
  68  <tr>
  69      <td class="form-title" colspan="3">
  70          <?php echo plugin_lang_get( 'title' ) . ': ' . plugin_lang_get( 'config' )?>
  71      </td>
  72  </tr>
  73  
  74  <tr <?php echo helper_alternate_class( )?>>
  75      <th class="category">
  76          <?php echo plugin_lang_get( 'library' )?>
  77      </th>
  78      <td class="center">
  79          <label><input type="radio" name="eczlibrary" value="1" <?php echo( ON == plugin_config_get( 'eczlibrary' ) ) ? 'checked="checked" ' : ''?>/><?php echo plugin_lang_get('bundled')?></label>
  80      </td>
  81      <td class="center">
  82          <label><input type="radio" name="eczlibrary" value="0" <?php echo( OFF == plugin_config_get( 'eczlibrary' ) ) ? 'checked="checked" ' : ''?>/>JpGraph</label>
  83      </td>
  84  </tr>
  85  
  86  <tr class="spacer"><td></td></tr>
  87  
  88  <tr <?php echo helper_alternate_class( )?>>
  89      <th class="category">
  90          <?php echo plugin_lang_get( 'window_width' )?>
  91      </th>
  92      <td class="center" colspan="2">
  93          <input type="text" name="window_width" value="<?php echo plugin_config_get( 'window_width' )?>" />
  94      </td>
  95  </tr>
  96  
  97  <tr <?php echo helper_alternate_class( )?>>
  98      <th class="category">
  99          <?php echo plugin_lang_get( 'bar_aspect' )?>
 100      </th>
 101      <td class="center" colspan="2">
 102          <input type="text" name="bar_aspect" value="<?php echo plugin_config_get( 'bar_aspect' )?>" />
 103      </td>
 104  </tr>
 105  
 106  <tr <?php echo helper_alternate_class( )?>>
 107      <th class="category">
 108          <?php echo plugin_lang_get( 'summary_graphs_per_row' )?>
 109      </th>
 110      <td class="center" colspan="2">
 111          <input type="text" name="summary_graphs_per_row" value="<?php echo plugin_config_get( 'summary_graphs_per_row' )?>" />
 112      </td>
 113  </tr>
 114  
 115  <tr <?php echo helper_alternate_class( )?>>
 116      <th class="category">
 117          <?php echo plugin_lang_get( 'font' )?>
 118      </th>
 119      <td style="vertical-align: top">
 120          Sans-serif:<br />
 121          <label><input type="radio" name="font" value="arial"<?php echo print_font_checked( 'arial' )?>/>Arial</label><br />
 122          <label><input type="radio" name="font" value="verdana"<?php echo print_font_checked( 'verdana' )?>/>Verdana</label><br />
 123          <label><input type="radio" name="font" value="trebuchet"<?php echo print_font_checked( 'trebuchet' )?>/>Trebuchet</label><br />
 124          <label><input type="radio" name="font" value="verasans"<?php echo print_font_checked( 'verasans' )?>/>Vera Sans</label>
 125      </td>
 126      <td style="vertical-align: top">
 127          Serif:<br />
 128          <label><input type="radio" name="font" value="times"<?php echo print_font_checked( 'times' )?>/>Times</label><br />
 129          <label><input type="radio" name="font" value="georgia"<?php echo print_font_checked( 'georgia' )?>/>Georgia</label><br />
 130          <label><input type="radio" name="font" value="veraserif"<?php echo print_font_checked( 'veraserif' )?>/>Vera Serif</label><br />
 131          <br />Monospace:<br />
 132          <label><input type="radio" name="font" value="courier"<?php echo print_font_checked( 'courier' )?>/>Courier</label><br />
 133          <label><input type="radio" name="font" value="veramono"<?php echo print_font_checked( 'veramono' )?>/>Vera Mono</label>
 134      </td>
 135  </tr>
 136  
 137  <tr class="spacer"><td></td></tr>
 138  
 139  <?php if ( current_user_is_administrator() ) {?>
 140  <tr <?php echo helper_alternate_class( )?>>
 141      <td class="category">
 142          <?php echo plugin_lang_get( 'jpgraph_path' )?>
 143          <br /><span class="small"><?php echo plugin_lang_get( 'jpgraph_path_default' )?></span>
 144      </td>
 145      <td class="center" colspan="2">
 146          <input type="text" name="jpgraph_path" value="<?php echo plugin_config_get( 'jpgraph_path' )?>" />
 147      </td>
 148  </tr>
 149  <?php } ?>
 150  
 151  <tr <?php echo helper_alternate_class( )?>>
 152      <td class="category">
 153          <?php echo plugin_lang_get( 'jpgraph_antialias' )?>
 154          <br /><span class="small"><?php echo plugin_lang_get( 'jpgraph_antialias_info' )?></span>
 155      </td>
 156      <td class="center">
 157          <label><input type="radio" name="jpgraph_antialias" value="1" <?php echo( ON == plugin_config_get( 'jpgraph_antialias' ) ) ? 'checked="checked" ' : ''?>/><?php echo plugin_lang_get('enabled')?></label>
 158      </td>
 159      <td class="center">
 160          <label><input type="radio" name="jpgraph_antialias" value="0" <?php echo( OFF == plugin_config_get( 'jpgraph_antialias' ) ) ? 'checked="checked" ' : ''?>/><?php echo plugin_lang_get('disabled')?></label>
 161      </td>
 162  </tr>
 163  
 164  <tr>
 165      <td class="center" colspan="3">
 166          <input type="submit" class="button" value="<?php echo lang_get( 'change_configuration' )?>" />
 167      </td>
 168  </tr>
 169  
 170  </table>
 171  </form>
 172  
 173  <?php
 174  html_page_bottom();