Branch: refs/heads/master Home: https://github.com/yi-editor/yi Commit: 56b61fbafa6a73da8be6018189e62e14a6ad4a7c https://github.com/yi-editor/yi/commit/56b61fbafa6a73da8be6018189e62e14a6ad4a7c Author: Hi-Angel <hi-an...@yandex.ru> Date: 2016-08-31 (Wed, 31 Aug 2016)
Changed paths: M yi-core/src/Yi/Completion.hs Log Message: ----------- There at least should be mention of fuzzy algorithm for grepping. It's not full fuzzy one though as it didn't match transposed letters. Commit: 8efc331b3a363f3f93b86f0a5ef27d740162f3eb https://github.com/yi-editor/yi/commit/8efc331b3a363f3f93b86f0a5ef27d740162f3eb Author: Hi-Angel <hi-an...@yandex.ru> Date: 2016-08-31 (Wed, 31 Aug 2016) Changed paths: M yi-core/src/Yi/Completion.hs M yi-core/src/Yi/MiniBuffer.hs Log Message: ----------- Rename infixMatch → infixUptoEndMatch. Prev. name told nothing about the purpose, not to mention ambuiguity: what it supposed to do if there're two infixes? Commit: 7dd59102a84dec6a1e52f4ddca49d5f259a76fdc https://github.com/yi-editor/yi/commit/7dd59102a84dec6a1e52f4ddca49d5f259a76fdc Author: Hi-Angel <hi-an...@yandex.ru> Date: 2016-08-31 (Wed, 31 Aug 2016) Changed paths: M yi-core/src/Yi/Completion.hs M yi-core/src/Yi/TextCompletion.hs Log Message: ----------- mkIsPrefixOf sounds ambiguious either: what does it make? isCasePrefixOf is more obvious. Commit: aa5197e789223bb68fd1587594ab7229f935bbc2 https://github.com/yi-editor/yi/commit/aa5197e789223bb68fd1587594ab7229f935bbc2 Author: Jared Hance <jha...@users.noreply.github.com> Date: 2016-09-01 (Thu, 01 Sep 2016) Changed paths: M yi-core/src/Yi/Completion.hs M yi-core/src/Yi/MiniBuffer.hs M yi-core/src/Yi/TextCompletion.hs Log Message: ----------- Merge pull request #903 from Hi-Angel/master A bit renames Compare: https://github.com/yi-editor/yi/compare/b0c587ad23a5...aa5197e78922 -- Yi development mailing list yi-devel@googlegroups.com http://groups.google.com/group/yi-devel --- You received this message because you are subscribed to the Google Groups "yi.devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to yi-devel+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.