Mantis
De WikiMar
Quick autosearch page for Mantis:
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html>
<head>
<title>View Issues - Observation Reports</title>
<script type="text/javascript">//<![CDATA[
window.onload=function() {
document.getElementById('autosendtext').oninput=function() {
if (this.value.length >= 5) {
this.value = this.value.trim();
if (this.value.substring(0,1).toLowerCase() != 'o')
{
this.setSelectionRange(0, this.value.length);
document.getElementById('autosendform').submit();
}
}
if (this.value.length >= 7) {
if (this.value.substring(0,3).toLowerCase() != 'or ') {
this.value=this.value.substring(2);
this.setSelectionRange(0, this.value.length);
document.getElementById('autosendform').submit();
}
}
if (this.value.length >= 8) {
this.value=this.value.substring(3);
this.setSelectionRange(0, this.value.length);
document.getElementById('autosendform').submit();
}
};
};
//]]>
</script>
</head>
<body bgcolor="#d8d8d8">
<center>
<br>
<br>
<h1>MANTIS</h1>
<br>
<form id="autosendform" method="post" action="https://galileo-project/mantis/or_tracker/jump_to_bug.php">
OR:
<input autofocus id="autosendtext" type="text" name="bug_id" size="10" class="small" />
</form>
<br>
<br>
<form method="post" name="filters_closed" id="filters_form_closed" action="https://galileo-project/mantis/or_tracker/view_all_set.php?f=3">
<input type="hidden" name="type" value="1" />
<input type="hidden" name="page_number" value="1" />
<input type="hidden" name="view_type" value="simple" />
Search:
<input type="text" size="33" name="search" value="" />
<input type="submit" name="filter" class="button-small" value="Filter" />
</form>
<a href="https://galileo-project/mantis/or_tracker/print_all_bug_page.php?f=3">View last search</a>
<br>
<br>
<form id="autosendform" method="post" action="https://galileo-project/mantis/or_tracker/jump_to_bug.php">
Manual OR:
<input autofocus type="text" name="bug_id" size="10" class="small" />
<input name="submit" type="submit" class="button-small" value="Jump" />
</form>
<br>
<br>
<br>
</center>
</body>
</html>
