I did a little hacking on Marked today and thought I’d share the results. I haven’t been able to get an official incremental find working in Webkit; it only wants to work on editable text and forcing the find API yields very unsatisfactory results (as you can see in the current version of Marked by hitting F, searching and then using G to jump to the first result). Out of frustration, I decided to build the damn thing in CSS and JavaScript. It worked.
If I get around to extracting and generalizing the relevant code I might publish this as a plugin of some sort. For now I’m just showing off the result. While it’s not vital functionality for Marked, I’m pretty psyched to have it working. This will definitely make it into the next version!
