Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Search options #63

Closed
3 tasks done
cloose opened this issue Oct 18, 2013 · 0 comments
Closed
3 tasks done

Search options #63

cloose opened this issue Oct 18, 2013 · 0 comments
Assignees
@cloose
Labels
enhancement
Milestone
v0.9.0

Comments

@cloose
Copy link
Owner

cloose commented Oct 18, 2013

Provide more options to influence the search in the markdown document:

  • case sensitive
  • whole words only
  • use regular expressions
@ghost ghost assigned cloose Oct 18, 2013
cloose added a commit that referenced this issue Jan 15, 2014
@cloose
Whole words only and RegExp search (#63)
38a6e75 
Added two more actions to tool button menu in FindReplaceWidget. With
these actions the user can activate searching only for whole words and
searching using regular expressions.
cloose referenced this issue Jan 15, 2014
@cloose
Merge branch 'develop' into feature/search-options-#63
e6855d5
cloose referenced this issue Jan 15, 2014
@cloose
Merge branch 'feature/search-options-#63' into develop
878743f
@cloose cloose closed this as completed Jan 15, 2014
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@cloose cloose

Labels
enhancement
Projects
None yet
Milestone
v0.9.0
Development

No branches or pull requests
1 participant
@cloose