Samuel Mannehed f0fea1fccd Fix max-width of clipboard textarea ... It should not be able to "eat" its parent-panel's padding. By setting box-sizing: border-box we can prevent this.		2022-10-28 16:04:45 +02: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	Fix max-width of clipboard textarea	2022-10-28 16:04:45 +02: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