Pierre Ossman ca25d2ae26 Move Ctrl+Alt+Del to extra keys menu ...

The extra keys menu is now present for all devices, so avoid clutter
by moving the Ctrl+Alt+Del button there as well.

2016-09-23 14:39:21 +02:00

..

images

Add handle to open and close the control bar

2016-09-23 14:39:21 +02:00

styles

Move Ctrl+Alt+Del to extra keys menu

2016-09-23 14:39:21 +02:00

ui.js

Move Ctrl+Alt+Del to extra keys menu

2016-09-23 14:39:21 +02:00

webutil.js

Allow moving the controlbar handle

2016-09-23 14:39:21 +02:00