- if ($search_area)
- plc_table_search_area($table_id,$pagesize,$pagesize_def);
- plc_table_head($table_id,$headers,$column_sort,$max_pages,$pagesize);
-}
-
-// for convenience, the options that apply to the footer only can be passed in plc_table_end()
-// they add up to the ones provided to the begin clause
-// makes code more readable, as preparing the footer before the table is displayed is confusing
-function plc_table_end ($table_id,$options_end=NULL) {
- global $plc_table_hash;
- list($headers,$options) = $plc_table_hash[$table_id];
- if ($options_end)
- $options=array_merge($options,$options_end);
-
- plc_table_foot($options);
- $notes_area = array_key_exists('notes_area',$options) ? $options['notes_area'] : true;
- if ($notes_area)
- plc_table_notes($options);
-}
-
-////////////////////
-function plc_table_search_area ($table_id,$pagesize,$pagesize_def) {
- $pagesize_text_id = $table_id . "_pagesize";
- $search_text_id = $table_id . "_search";
- $search_reset_id = $table_id . "_search_reset";
- $search_and_id = $table_id . "_search_and";
- print <<< EOF
-<table class='table_dialogs'> <tr>
-<td class='table_flushleft'>
-<form class='pagesize'>
- <input class='pagesize_input' type='text' id="$pagesize_text_id" value=$pagesize
- onkeyup='plc_pagesize_set("$table_id","$pagesize_text_id", $pagesize);'
- size=3 maxlength=3 />
- <label class='pagesize_label'> items/page </label>
- <img class='table_reset' src="/planetlab/icons/clear.png"
- onmousedown='plc_pagesize_reset("$table_id","$pagesize_text_id",$pagesize_def);'>
-</form>
-</td>
-
-<td class='table_flushright'>
-<form class='table_search'>
- <label class='table_search_label'> Search </label>
- <input class='table_search_input' type='text' id='$search_text_id'
- onkeyup='plc_table_filter("$table_id","$search_text_id","$search_and_id");'
- size=40 maxlength=256 />
- <label>and</label>
- <input id='$search_and_id' class='table_search_and'
- type='checkbox' checked='checked'
- onchange='plc_table_filter("$table_id","$search_text_id","$search_and_id");' />
- <img class='table_reset' src="/planetlab/icons/clear.png"
- onmousedown='plc_table_filter_reset("$table_id","$search_text_id","$search_and_id");'>
-</form>
-</td>
-</tr></table>
-EOF;
-}
-
-////////////////////////////////////////
-function plc_table_head ($table_id,$headers,$column_sort,$max_pages,$pagesize) {