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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
|
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 3.2//EN">
<html>
<head>
<title>Ding: A Dictionary Lookup program</title>
</head>
<body bgcolor="#FFFFFF" link="#333399" vlink="#6666FF">
<center>
<h1><a href="index.html">Ding:</a> Usage tips</h1>
<strong>Version 1.3</strong>
</center>
<strong>Start search:</strong>
<ul>
<li>Type in search word, select a search method,
then press ENTER or press the "Search" button, or</li>
<li>Double click on a word in the result window with left mouse button 1, or</li>
<li>Select a word in another window, drop it by clicking with middle mouse
button 2 over the result window.</li>
<li>Search in result:
<ul>
<li>Type a slash, then the search word: <code>/word</code> + ENTER, or</li>
<li>Type in search word, then press Shift+ENTER or press the "Search" button with mouse middle button 2, or</li>
<li>Press Shift and drop word by clicking with middle mouse
button 2 over the result window</li>
</ul>
</li>
</ul>
<strong>Give search words:</strong>
<ul>
<li>just one word, or</li>
<li>Find one of many words: <code>word1,word2</code></li>
<li>Find all words: <code>word1+word2</code></li>
<li>Find exact phrase: <code>word1 word2</code></li>
<li>Umlauts: If you don't have umlaut keys on your keyboard, please use:</li>
"a = "A = "o = "O = "u = "U = "s =
</li>
</ul>
<strong>Search options:</strong>
<ul>
<li>Search for full words or partial matches within words?</li>
<li>Ignore case or search case sensitive?</li>
<li>If agrep is used, try error correction if nothing is found?</li>
<li>Simple search (<strong>*</strong> is wildcard for any character) or search withregular
expressions?</li>
</ul>
<dl><dt><strong>Another search behavior </strong> can be selected via the menu:</dt>
<dd><strong>earch on mouse over:</strong>
<ul>
<li>elect a word in another window (left mouse button)</li>
<li>As soon as you move the mouse over the Ding window
this word will be searched with the current search method</li>
</ul>
</dd>
<dd><strong>Search on new text selection:</strong>
<ul>
<li>As soon as you select a word in another window (left mouse button)
this word will be searched with the current search method.</li>
</ul>
</dd>
</dl>
<strong>History function:</strong>
<ul>
<li>Previous search results could be displayed again (<strong><</strong> and
<strong>></strong> buttons)</li>
</ul>
<strong>How it works:</strong>
<ul>
<li>"Ding: Dictionary Lookup" is not an intelligent translator system, but "only"a front-end
to search quickly in files.</li>
<li>The search itself is done by a dedicated Unix command ala "grep". If you have installed
"agrep" you are able to use the approximate matching feature to correct spelling errors.</li>
<li>Well, the results are as good as the dictionary wordlist. You could contribute to improve
this list! Simply send an email to the author.</li>
</ul>
<strong>Further information:</strong>
<ul>
<li>Unix manual pages for agrep and egrep</li>
</ul>
<hr>
<center>
<a href="mailto:frank.richter@hrz.tu-chemnitz.de?subject=Dictionary:%20">Comments and
corrections are welcome!</a> -+- <a href=
"http://ldap.tu-chemnitz.de:8888/cn=Frank%20Richter,ou=Rechenzentrum,o=Technische%20Universitaet%20Chemnitz,c=DE">
Frank Richter</a>, February 2004
</center>
<br>
<br>
</body>
</html>
|
