Jan Böhmer 7d0776e598 Make expand buttons for treeview bigger on mobile view. ... This should make it easier to press it on a touch screen.		2020-04-04 18:52:48 +02:00
..
css	Make expand buttons for treeview bigger on mobile view.	2020-04-04 18:52:48 +02:00
js	Render the formula symbols of the properties.	2020-03-15 14:53:20 +01:00
ts_src	Fixed shifting of the panel if the dropdown was really big.	2020-04-01 16:34:07 +02:00
tsconfig.json	Render markdown on the client side and use DOMPurify to prevent XSS.,	2019-10-12 17:41:13 +02:00