diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2014-07-30 19:58:34 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2014-07-30 19:58:34 +0100 |
| commit | 5fc063c520afea4cdc8593eefa690f1ea804f1f4 (patch) | |
| tree | 3890081a9beab05cb7740834455a3267f74ad266 /src/word_db.hh | |
| parent | 4c31449a6505f802fe990014cc9aa095e3fa2f60 (diff) | |
Insert word completion: Use subsequence matching if prefix failed
Diffstat (limited to 'src/word_db.hh')
| -rw-r--r-- | src/word_db.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/word_db.hh b/src/word_db.hh index 2349a618..043f9960 100644 --- a/src/word_db.hh +++ b/src/word_db.hh @@ -17,6 +17,7 @@ public: WordDB(const Buffer& buffer); std::vector<String> find_prefix(const String& prefix); + std::vector<String> find_subsequence(const String& subsequence); int get_word_occurences(const String& word) const; using WordList = std::map<String, int>; |