Ad5001 e98be96b0d Latex rendering for property edition history action!		2022-10-19 17:29:35 +02:00
..
color.js	Updating description line, changing tempfile to tempdir.	2022-03-05 17:49:35 +01:00
common.js	Adding new 'Position setting' history action.	2022-10-19 17:11:54 +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	Latex rendering for property edition history action!	2022-10-19 17:29:35 +02:00
name.js	Better handling of Object names in a separate dictionary.	2022-10-17 20:25:29 +02:00
position.js	Adding new 'Position setting' history action.	2022-10-19 17:11:54 +02:00
visibility.js	Updating description line, changing tempfile to tempdir.	2022-03-05 17:49:35 +01:00