zulip

Author	SHA1	Message	Date
Raghav Jajodia	a3a03bd6a5	mypy: Added Dict, List and Set imports. Fixed mypy errors associated with the upgrade.	2017-03-04 14:33:44 -08:00
Tim Abbott	234eb7a723	emoji: Add a bunch of documentation in comments for emoji rules.	2017-01-29 12:33:44 -08:00
Rishi Gupta	e19f3d5534	emoji: Make minor adjustments to emoji names list.	2017-01-29 12:19:54 -08:00
Rishi Gupta	8ef5197d5c	emoji: Remove problematic color emoji from autocomplete and picker.	2017-01-28 23:38:03 -08:00
Rishi Gupta	a2890f7d7a	emoji: Remove duplicates from autocomplete and emoji picker. Previously, if you searched for ':offi..' you would see both 🏢 and :office_building: as possible completions, both of which are shortcodes for the same unicode codepoint (and hence which have the same image). Also, we sort the emoji in our emoji pickers alphabetically by shortcode, and so the images for 🏢 and :office_building: show up next to each other, which looks like a bug. This removes :office_building: as a shortcode, along with several hundred other duplicates. It leaves some duplicates in that won't give autocomplete or alphabetical ordering a problem, like (🚗, :automobile:).	2017-01-28 23:38:03 -08:00