Samuel Mannehed 4a0999a34e Slightly increase the padding on <select> elements ...

Our select elements look more like buttons than they look like text
inputs, this means we should use slightly larger padding.

2022-11-16 16:46:17 +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

Slightly increase the padding on <select> elements

2022-11-16 16:46:17 +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