Search options

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