Jérémie Astori d48830a1fd Make custom highlights case-insensitive		2016-08-16 10:09:19 -04:00
..
libs	Prevent Ctrl-Tab from triggering tab completion	2016-08-04 04:31:19 +02:00
loading-slow-alert.js	Display a loading message instead of blank page	2016-06-19 20:38:38 +03:00
lounge.js	Make custom highlights case-insensitive	2016-08-16 10:09:19 -04:00