Skip to content

Commit

Permalink
Merge pull request #6185 from magao/issue5797
Browse files Browse the repository at this point in the history 
Ctrl+F search filter. Closes #5797.
  • Loading branch information
@sledgehammer999
sledgehammer999 authored Jan 21, 2017
2 parents 7be27f7 + 94c9772 commit e64b1f5
Show file tree
Hide file tree
Showing 2 changed files with 80 additions and 70 deletions.
Loading

0 comments on commit e64b1f5

Please sign in to comment.