diff options
| author | Ignacio Etcheverry <ignalfonsore@gmail.com> | 2016-05-30 18:15:41 +0200 |
|---|---|---|
| committer | Ignacio Etcheverry <ignalfonsore@gmail.com> | 2016-05-30 18:15:41 +0200 |
| commit | 7e4c58c56331f0a6f98c9ac950135041d8578f97 (patch) | |
| tree | 9a769227cab3a387151fb5403aff54d4f6cd7cb0 /demos/plugins | |
| parent | c7d24b7814b335fb9503f6a957ac5923a47da161 (diff) | |
Fixed and improved search bar
- Search no longer selects the results
- Return focus to the text editor when hiding the bar
- Fix connecting to invalid signal
- Update/redraw the text editor after searching
Diffstat (limited to 'demos/plugins')
0 files changed, 0 insertions, 0 deletions