JannisX11 300ddd4f50 Make model identifier/geo name optional for formats ...

Fix menus not disappearing after closing tab

2022-05-20 00:24:43 +02:00

..

dialogs.css

Display plugin about texts in multiple lines

2022-04-10 17:57:47 +02:00

fontawesome.css

Update to Font Awesome 6

2022-02-13 18:56:12 +01:00

general.css

Disable display mirroring by default, add setting to enable

2022-05-19 22:48:41 +02:00

jquery-ui.min.css

v2.0.0

2018-10-17 19:50:25 +02:00

panels.css

Disable display mirroring by default, add setting to enable

2022-05-19 22:48:41 +02:00

prism.css

Fix #1368 menu hover texts say "undefined"

2022-04-10 19:10:04 +02:00

setup.css

Add "copy_value" option to properties

2022-05-06 23:43:50 +02:00

spectrum.css

Mobile UI improvements

2022-03-07 19:49:43 +01:00

w3.css

Fix #1198 Alt tool function issue on webapp

2021-12-12 13:26:23 +01:00

window.css

Make model identifier/geo name optional for formats

2022-05-20 00:24:43 +02:00