| author | mickeyl <mickeyl> | 2003-10-29 22:07:36 (UTC) |
|---|---|---|
| committer | mickeyl <mickeyl> | 2003-10-29 22:07:36 (UTC) |
| commit | d53637f46cf217fc760d7aac58b4596843a73803 (patch) (side-by-side diff) | |
| tree | 25289be556fa1ce0ba8539b7f42aeaa037bdf7fd /help/en/html/osearch/settings.html | |
| parent | 1af1f1d9f398d38a2bc666cd2edff5725da7a770 (diff) | |
| download | opie-d53637f46cf217fc760d7aac58b4596843a73803.zip opie-d53637f46cf217fc760d7aac58b4596843a73803.tar.gz opie-d53637f46cf217fc760d7aac58b4596843a73803.tar.bz2 | |
merge development/* and help/*
Diffstat (limited to 'help/en/html/osearch/settings.html') (more/less context) (ignore whitespace changes)
| -rw-r--r-- | help/en/html/osearch/settings.html | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/help/en/html/osearch/settings.html b/help/en/html/osearch/settings.html new file mode 100644 index 0000000..02da3b4 --- a/dev/null +++ b/help/en/html/osearch/settings.html @@ -0,0 +1,26 @@ +<html><head><title>OSearch: Settings</title></head><body> +<h1>OSearch: Settings</h1> +Settings in OSearch will affect only future searches, +the current searches will <b>not</b> be repeated. +<h2>Settings Menu</h2> +<a name="search"><h3>Search</h3></a> +<a name="casesensitive"><h4>Case sensitive</h4></a><br> +Should the searches be case sensitive.<br><br> +<a name="wildcards"><h4>Wildcards</h4></a><br> +Makes it convenient to match filenames instead of plain text. +<br> +For example, "qr*.cpp" matches the string "qregexp.cpp" in wildcard +mode, but not "qicpp" (which would be matched in normal mode). +<br>(From the QT docu) +<a name="doclnk"></a><h3>Documents</h3></a> +<h4>Search content</h4><br> +Searches the content of text files too.<br> +<a name="todo"><h3>Todo</h3></a> +<h4>Show completed task</h4><br> +Should task which are allready compelted be hidden. +<a name="datebook"><h3>Calendar</h3></a> +<h4>Show past events</h4><br> +Should datebook entries that were past be hidden.<br> +<br><h4>Search in dates</h4><br> +Should the start and end date be searched too. +</body></html> |