Commit Graph

11 Commits

Author SHA1 Message Date
Andrea Cardaci
feae2cd8d7 Fix binary search message 2018-05-29 21:39:49 +02:00
Andrea Cardaci
a7685cbe9e Polish home page layout 2018-05-29 21:32:26 +02:00
Andrea Cardaci
45e1878113 Remove fork and reorganize GitHub buttons 2018-05-29 19:47:51 +02:00
Andrea Cardaci
0b90fa4c8f Limit search by function to one function only 2018-05-29 12:22:33 +02:00
Andrea Cardaci
4093161262 Clear filter by pressing escape 2018-05-29 12:10:30 +02:00
Andrea Cardaci
a108890c1f Avoid useless update of the search box on user input 2018-05-29 12:05:19 +02:00
Andrea Cardaci
125f410e01 Refactor filtering allowing to link search results via URL hash 2018-05-29 11:52:46 +02:00
Andrea Cardaci
9bc82744fd Avoid search auto-focus for modifiers 2018-05-23 21:43:23 +02:00
Andrea Cardaci
13ec00ddb5 Allow to filter by function 2018-05-23 16:00:31 +02:00
Andrea Cardaci
80e5c2cac4 Add GitHub buttons 2018-05-21 23:13:52 +02:00
Emilio Pinna
b81e57005a First commit 2018-05-21 20:14:41 +01:00