Ad5001 fb1c4c0de7 Using Screen.devicePixelRatio as image depth. ... Fixes bluriness of images on HDPI screens and disabling it on those who don't need it.		2022-10-22 14:16:15 +02:00
..
color.js	Updating description line, changing tempfile to tempdir.	2022-03-05 17:49:35 +01:00
common.js	Using Screen.devicePixelRatio as image depth.	2022-10-22 14:16:15 +02:00
create.js	Fixing bugs in recursive object deletion and dependency.	2022-10-18 22:40:49 +02:00
delete.js	Updating description line, changing tempfile to tempdir.	2022-03-05 17:49:35 +01:00
editproperty.js	Fixing history rendering of expressions	2022-10-20 16:44:11 +02:00
name.js	Better handling of Object names in a separate dictionary.	2022-10-17 20:25:29 +02:00
position.js	Variables & objects (+ their type) in autocompletion.	2022-10-20 01:14:09 +02:00
visibility.js	Updating description line, changing tempfile to tempdir.	2022-03-05 17:49:35 +01:00