- sublime text/textmate
- replacement preview
- notepad++
- mark multiple searched values
- Word
- contextual navigator interface:
- hits with context
- page preview
- header-level outline
- "where to search" choices
- input cells
- output cells
- widgets
- cell/notebook metadata properties
- contextual navigator interface:
- browsers
- top, right, (i.e. covering kernel picker): chrome
- bottom, full width: ff, atom, sublime
- top, full width: ie
- left, full-height: word
- popup: n++ (though find all results docked to bottom)
- find (next/previous)
- basically what the browsers currently show
- per-keystroke search/highlight
- basically what the browsers currently show
- find all
- show navigable table of hits
- replace
- show contextual preview of replace
- inline is probably too hard
- for cells, replace and run?
- show contextual preview of replace
- undo
- undo all
- usual search settings
- regular expressions
- will have to be JS regexen, probably...
- but maybe bring in XregExp
- will have to be JS regexen, probably...
- match case
- regular expressions
- search context(s)
- cells
- input
- outputs
- widgets
- metadata
- cell
- notebook
- cells
- grep (hide
- search/replace string history
- where to store?
- notebook meta
- localstorage
- where to store?
- ScrollManager (unless this can be hidden in IPython.events)
.scroll_to
- widgets
- event based?
- base widget just searches the text of the DOM
- obviously won't find things in canvas nodes, or in un-displayed data
- custom widget implementer either offers up
- values to be searched
- includes metadata on how to scroll to that hit: i.e.:
- scroll to the widget
- then reveal and focus on a particular node
- includes metadata on how to scroll to that hit: i.e.:
- implements its own search
- potentially allows for searching stuff back in the kernel
- values to be searched
- publish event that requests a search of the notebook for a particular value
- search across many notebooks
- widgets implement custom search
- think paged data not yet displayed on front-end