5 commits

Author	SHA1	Message	Date
Daniel Eklöf	c1bbb64a4d	search: return early after committing a search ... This fixes an issue where the selection was finalized, but then cleared.	2019-08-27 19:56:16 +02:00
Daniel Eklöf	d1974913f7	search: search_update() is always called at end of search_input()	2019-08-27 19:56:02 +02:00
Daniel Eklöf	d518d9dafb	search: don't create a new selection when match start coords haven't changed	2019-08-27 19:55:41 +02:00
Daniel Eklöf	aee5045395	search: wip: initial search matching ... * match search buffer against scrollback content * adjust view to ensure matched content is visible * create selection on a successful match * finalize selection when user presses enter (to "commit" the search) * ctrl+r searches for the next match. Needs more work though.	2019-08-27 19:33:19 +02:00
Daniel Eklöf	61cabdac13	search: wip: re-direct input while searching, and build a search buffer ... This adds a new state, 'is_searching'. While active, input is re-directed, and stored in a search buffer. In the future, we'll use this buffer and search for its content in the scrollback buffer, and move the view and create a selection on matches. When rendering in 'is_searching', everything is dimmed. In the future, we'll render the current search buffer on-top of the dimmed "regular" terminal output.	2019-08-27 17:23:28 +02:00