cloose/CuteMarkEd — pull request #110 by cloose (2014-01-14 16:04:24+00:00)
Title: Search options

Add a menu with checkable options to FindReplaceWidget to influence the search inside the Markdown document.