andreikop / enki

A text editor for programmers
http://enki-editor.org
GNU General Public License v2.0
161 stars 39 forks source link

Highlight search results in the editor and on the scroll bar #340

Open andreikop opened 8 years ago

andreikop commented 8 years ago

See Chrome