Add search

[alexispurslane]

Added the search function using codemirror's add-ons, as per issue #799.

[joshuafcole]

• Let's add an opaque white background to the searchbox. If you scroll down and invoke it while it's above text, it's quite hard to read.
• Let's also add the matches on scrollbar plugin to make the fact that we're still in search mode a little more obvious.

Other than that, looks good!

[alexispurslane]

Okay, I'm on it. I was already considering adding the matches on scroll bar plugin but wasn't sure about going beyond the problem directly stated by the issue. (:

On Mon, Aug 28, 2017 at 6:04 PM Joshua Cole ***@***.***> wrote: - Let's add an opaque white background to the searchbox. If you scroll down and invoke it while it's above text, it's quite hard to read. - Let's also add the matches on scrollbar plugin <https://codemirror.net/addon/search/matchesonscrollbar.js> to make the fact that we're still in search mode a little more obvious. Other than that, looks good! — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub <#878 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AB1Ml-nytIoneqQyj2WJHwE7wYtvW1abks5sc2OPgaJpZM4PE4hR> .

-- Regards, Christopher

[alexispurslane]

Okay, I've made both of these changes, but for some inexplicable reason, package.json is reformatted and examples/quickstart.eve is... changed? How should I reset those files?

[joshuafcole]

Let's remove the src/.DS_Store file that snuck in, and then this is ready to merge!

[joshuafcole]

Excellent, thank you!