PHP print_font_checked Examples

Example #1

File: config.php Project: nourchene-benslimane/mantisV0

/>Times</label><br />
		<label><input type="radio" name="font" value="georgia"<?php 
echo print_font_checked('georgia');
?>
/>Georgia</label><br />
		<label><input type="radio" name="font" value="veraserif"<?php 
echo print_font_checked('veraserif');
?>
/>Vera Serif</label><br />
		<br />Monospace:<br />
		<label><input type="radio" name="font" value="courier"<?php 
echo print_font_checked('courier');
?>
/>Courier</label><br />
		<label><input type="radio" name="font" value="veramono"<?php 
echo print_font_checked('veramono');
?>
/>Vera Mono</label>
	</td>
</tr>

<tr class="spacer"><td></td></tr>

<?php 
if (current_user_is_administrator()) {
    ?>
<tr <?php 
    echo helper_alternate_class();
    ?>
>
	<td class="category">

Example #2

File: config.php Project: rombert/mantisbt

	</th>
	<td style="vertical-align: top">
		Sans-serif:<br />
		<label><input type="radio" name="font" value="arial"<?php echo print_font_checked( 'arial' )?>/>Arial</label><br />
		<label><input type="radio" name="font" value="verdana"<?php echo print_font_checked( 'verdana' )?>/>Verdana</label><br />
		<label><input type="radio" name="font" value="trebuchet"<?php echo print_font_checked( 'trebuchet' )?>/>Trebuchet</label><br />
		<label><input type="radio" name="font" value="verasans"<?php echo print_font_checked( 'verasans' )?>/>Vera Sans</label>
	</td>
	<td style="vertical-align: top">
		Serif:<br />
		<label><input type="radio" name="font" value="times"<?php echo print_font_checked( 'times' )?>/>Times</label><br />
		<label><input type="radio" name="font" value="georgia"<?php echo print_font_checked( 'georgia' )?>/>Georgia</label><br />
		<label><input type="radio" name="font" value="veraserif"<?php echo print_font_checked( 'veraserif' )?>/>Vera Serif</label><br />
		<br />Monospace:<br />
		<label><input type="radio" name="font" value="courier"<?php echo print_font_checked( 'courier' )?>/>Courier</label><br />
		<label><input type="radio" name="font" value="veramono"<?php echo print_font_checked( 'veramono' )?>/>Vera Mono</label>
	</td>
</tr>

<tr class="spacer"><td></td></tr>

<?php if ( current_user_is_administrator() ) {?>
<tr <?php echo helper_alternate_class( )?>>
	<td class="category">
		<?php echo plugin_lang_get( 'jpgraph_path' )?>
		<br /><span class="small"><?php echo plugin_lang_get( 'jpgraph_path_default' )?></span>
	</td>
	<td class="center" colspan="2">
		<input type="text" name="jpgraph_path" value="<?php echo plugin_config_get( 'jpgraph_path' )?>" />
	</td>
</tr>