Pierre Ossman ebbec43a6b Enable extra keys for all devices ... Manual special keys can be useful on all devices, so stop restricting it to just touch devices.		2016-09-23 14:39:21 +02:00
..
images	Replace icons with SVG versions	2016-09-23 14:22:19 +02:00
styles	Merge control bar sections	2016-09-23 14:39:21 +02:00
ui.js	Enable extra keys for all devices	2016-09-23 14:39:21 +02:00
webutil.js	Clean up Util	2016-09-16 15:49:52 -04:00