February 20, 2015

Search Tool Reference

The search tool allows you to look up text typed into the built-in search box. Although the search tool is bundled with Genggoro Dictionary Server (GDS), it funcions as a Genggoro Dictionary Client (GDC).

How to open the search tool

  • Click the "Search tool" button on the dictionary manager.

  • Click "Keyboard shortcuts" at the bottom of the extensions management page (chrome://extensions) and assign a keyboard shortcut to open the search tool. Select "Global" so that the shortcut can be used even if the currently active (focused) window isn't the one managed by Chrome.

    Since version 0.2.0, you can assign different shortcuts:

    • to open the search tool.

    • to open the search tool and copy the content of the clipboard.

    • to open the search tool and query the content of the clipboard.

    To use the PRIMARY selection (instead of the CLIPBOARD selection) when the "Open the search tool and copy/query" shortcuts mentioned above are invoked, check "Use the PRIMARY selection" field in the settings window and follow the instructions on this page to install a program that allows Chrome apps/extensions to get access to the X11's PRIMARY selection. This feature is only available in Linux.

The UI of the search tool

  1. Click this icon to hide the search tool. You can also hide the search tool by pressing the Esc key.

  2. Click this icon to close the search tool and close the connection between the search tool and the GDS (remember that the search tool functions as a GDC).

  3. Click this button to open (close) the menu for selecting GDDs. The label of this button indicates the selected GDDs ("--" if no GDD is selected).

  4. Type some text and press the Enter key to look it up in the selected GDDs.

    Press the Enter key with no text in the search box to clear the search results area.

    A search text that starts with "\" (backslash) is treated as a command (if you want to look up a word that starts with "\" (if ever), type "\\"). Below is a list of the commands available now.

    • "\pin": Make the search tool always on top. The effect of this command persists until you cancel it.

    • "\unpin": Cancel the effect of the "pin" command.

    There are some useful keyboard shortcuts provided by Chrome that I think are very handy in working with the search tool:

    • Ctrl-A: Select (highlight) all the text in the search box.

    • Ctrl-LeftShift, Ctrl-RightShift: Change the text direction to left-to-right (right-to-left).

    • Tab: Move the focus back and forth between the search box and the search results area.

      If the search results area has the focus, you can move the scrollbar with PageUp, PageDown, Arrows, Space, Shift-Space, etc.

  5. Select GDDs to use. Click somewhere on the search tool or press the Esc key to hide the menu.

  6. Search results are displayed here.

Next: Style Editor Reference

No comments:

Post a Comment