clipboard.js
device.js
gmenu.js
input.js
keybindings.js
notification.js
tooltip.js
utils.js