Samuel Mannehed f820ec86f0 Add styling for checkboxes ... This makes them fit in better in our settings GUI, especially when it comes to coloring.		2022-12-07 14:52:15 +01:00
..
images	Add touch gestures for mouse emulation	2020-06-12 09:18:46 +02:00
locale	Add italian translation	2022-09-08 14:56:04 +02:00
sounds	Support RFB bell	2016-09-22 11:15:42 +02:00
styles	Add styling for checkboxes	2022-12-07 14:52:15 +01:00
error-handler.js	Make error handler's focus changes best-effort	2022-10-12 13:01:23 +02:00
localization.js	Change copyright header (#1138)	2018-10-09 12:15:35 +02:00
ui.js	Only show the control bar hint once per "move"	2022-10-24 13:03:50 +02:00
webutil.js	Fix parsing of query string variables	2021-09-08 15:37:42 +02:00