PK Default page
⚝ One Hat Cyber Team ⚝
  • Dir : ~/usr/share/doc/libjs-codemirror/examples/
    • Edit File: search.html

    Demonstration of primitive search/replace functionality. The keybindings (which can be configured with custom keymaps) are:

    Ctrl-F / Cmd-F
    Start searching
    Ctrl-G / Cmd-G
    Find next
    Shift-Ctrl-G / Shift-Cmd-G
    Find previous
    Shift-Ctrl-F / Cmd-Option-F
    Replace
    Shift-Ctrl-R / Shift-Cmd-Option-F
    Replace all
    Alt-F
    Persistent search (dialog doesn't autoclose, enter to find next, Shift-Enter to find previous)
    Alt-G
    Jump to line

    Searching is enabled by including addon/search/search.js and addon/search/searchcursor.js. Jump to line - including addon/search/jump-to-line.js.

    For good-looking input dialogs, you also want to include addon/dialog/dialog.js and addon/dialog/dialog.css.