Under the options menu you'll find a couple of other settings. First of all is your profile. This is where you can change your personal information.
If you come across any problems, you'll find a link to report the bug to us via email under the options menu. You'll also find a link to send us suggestions for new terms that you think should be added to our database of defined terms. Eventually we'll open that up so that people can add new definitions in a process not dissimilar to Wikipedia's peer review system, but for now just send us a request.
There are also a couple of other features you'll find on the "Settings" dialog under the options menu.
First of all, this is where you can turn SemantiFind's filter for unmatched search results on or off. Search-engine results that we're pretty sure don't match the defined search terms you entered will be shown as grayed out, helping you to find the more meaningful results more easily. If you don't want SemantiFind to do this, this is where you turn it off.
And lastly, there are two different possible behaviors that you might expect from SemantiFind after you've edited the label set and Semantified a page:
- You might expect when "Editing Labels" that the set of labels that you've put together by adding new ones and deleting other ones is what you would like to use as you Semantify further pages, or,
- You might just want to change the labels for one page and would expect SemantiFind to go back to the old set of labels after that.
The choice is yours. It will probably depend on your browsing habits and may vary from session to session but this is where you select the behavior that you want.
