i need the possibility to localize public filter.

i made a quick fix for this.

you have to add a filter like "filter_public_1" and then make an entry in custom_strings_inx.php like $s_filter_public_1 = 'public filter 1';

make the following changes in source:

Index: D:/StoredData/iNet/apacheroot/mantis_1.1.1/my_view_page.php

@@ -104,7 +104,7 @@
if ( 1 == $t_counter % 2 ) {
echo '<tr><td valign="top" width="50%">';
print_filter_my_view_box(

• $filter['name'],

• lang_get_defaulted($filter['name']),
  $f_page_number,
  $t_per_page,
  $filter['filter'],
  Index: D:/StoredData/iNet/apacheroot/mantis_1.1.1/bug_graph_bycategory.php

  @@ -205,7 +205,7 @@
  html_body_begin();
  echo '<table class="width100"><tr><td></td>';
  foreach ( $t_category as $t_cat ) {

• echo '<th>'.$t_cat.'</th>';

• echo '<th>'. lang_get_defaulted($t_cat) .'</th>';
  }
  echo '</tr>';
  for ($t_ptr=0; $t_ptr<$t_bin_count; $t_ptr++) {
  Index: D:/StoredData/iNet/apacheroot/mantis_1.1.1/core/filter_api.php

  @@ -2742,7 +2742,7 @@
  <option value="-1"></option>
  <?php
  foreach( $t_stored_queries_arr as $t_query_id => $t_query_name ) {

• PRINT '<option value="' . $t_query_id . '">' . $t_query_name . '</option>';

• PRINT '<option value="' . $t_query_id . '">' . lang_get_defaulted($t_query_name) . '</option>';
  }
  ?>
  </select>
  @@ -3718,7 +3718,7 @@
  echo "<optgroup label='". lang_get('custom_filters') ."'>";

          foreach ($t_available AS $f_key => $f_title) {

• echo "<option value='". $f_key ."'>" . string_display_line($f_title) . "</option>";

• echo "<option value='". $f_key ."'>" . string_display_line(lang_get_defaulted($f_title)) . "</option>";
  }
  echo "</optgroup>";
  }
  Index: D:/StoredData/iNet/apacheroot/mantis_1.1.1/query_view_page.php

  @@ -68,7 +68,7 @@
  echo ' ';
  }

• print '<a href="' . $t_use_query_url . db_prepare_int( $t_id ) . '">' . string_display( $t_name ) . '</a>';

• print '<a href="' . $t_use_query_url . db_prepare_int( $t_id ) . '">' . string_display( lang_get_defaulted($t_name) ) . '</a>';

  if ( filter_db_can_delete_filter( $t_id ) ) {
      echo ' ';