TextEditor Grep 1.2.2

This plugin contributes a view that allows to enter a regular expression, used to produce a grep-like output (shown in the view) of the current text editor.

The view shows the original line numbers and when the cursor is moved in the grep output, the cursor in the text editor is moved to the matching line.

Any editor that subclasses the AbstractTextEditor should be supported.

The current version can optionally link to the current editor (press the double link icon in the view), in this mode the grep is refreshed whenever an editor is activated.

Key bindings:
* when in an editor press CTRL+ALT+G (CMD+ALT+G) to open/activate the grep view, if text is selected, it is copied in the grep expression box and it is preselected
* TAB to move from grep result to grep text box and vice versa
* CTRL+F in grep result opens an incremental search box

inside the search box:
* ESC closes the find bar, arrow down searches forwards, arrow up backwards
* search is always case insensitive and incremental (find as you type)

History:

1.0.1 : fixed highlight of matches in grep view.

1.0.2 : added 2 options (selectable via the view's menu):
* case sensitivity during grep
* show multiple matches on a line, the grep operation normally finds only the first match on a line, if this option is set, the regular expression is searched again on the same line

1.1.0 : added simple find bar in grep view:
* can be activated via the edit->find menu or ctrl+F (implements standard find)
* opens a firefox-like search bar at the bottom of the view

1.2.0 : added history for grep expressions:
* the grep expression box is now a combo listing the previously used ones
* Edit history menu option in the view drop down menu to edit the history

1.2.1 : much faster for long files with many matches:
* changed Document implementation.

1.2.2 : text selection copied to grep expression box and preselected