1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<HTML>
<!--Time-stamp: <2006-02-01 22:52:28 poser> -->
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=utf-8">
<META NAME="Author" CONTENT="Bill Poser">
<TITLE>Redet Reference Manual: Miscellaneous Tools</TITLE>
</HEAD>
<BODY TEXT="#000000" BGCOLOR="#FFE2C0" VLINK="#0000EE" LINK="#AA0066" ALINK="#FF0000">
<h2>Miscellaneous Tools</h2>
<h3>Searching</h3>
<p>
When there is substantial data it can be helpful to be able to search. Popup
search tools are therefore provided for searching the test data and results.
These may be found on the <i>Tools</i> menu.
<br>
<div align="center">
<img src="Images/Search.jpg" width="80%" alt="A Search Widget" border="2">
</div>
<br clear="all">
<p>
<h3>The Result Cache</h3>
<P>
The last five results are stored and available for manipulation.
A command available via the <i>Tools</i> menu
command pops up a window that allows the user to manipulate the
stored results. This window displays a
summary of the stored results consisting of the name of the program
used, the number of results, and the first portion of the regular
expression. Each result is associated with a checkbox. Any subset of
the five results may be selected.
</p>
<p>
Clicking on the Save button causes
Redet to save each of the selected results to a distinct file. Redet
will bring up a file selection dialogue for each result.
</p>
<br>
<div align="center">
<img src="Images/Cache01.jpg" width="80%" alt="The Result Cache - Saving" border="2">
</div>
<br clear="all">
<p>
Clicking on the Compare button results in
the pairwise comparison of the selected results. Redet will indicate
via a message in the Message window whether the results compared are
the same or different.
</p>
<br>
<div align="center">
<img src="Images/Cache02.jpg" width="80%" alt="The Result Cache - Comparison" border="2">
</div>
<br clear="all">
<br>
<center><a href="shortcuts.html">Next</a></center>
<br>
<center><a href="Manual.html">Back to Table of Contents</a></center>
</body>
</html>
|
