Ad5001 244935d7e2 Adding settings for editor. ... Also fixing bug with GreetScreen not setting settings in the menu bar, and adding translations.		2022-10-20 21:44:08 +02:00
..
__init__.py	Addign dependencies for latex.	2022-03-05 16:43:22 +01:00
config.py	Adding settings for editor.	2022-10-20 21:44:08 +02:00
helper.py	Better handling of Object names in a separate dictionary.	2022-10-17 20:25:29 +02:00
latex.py	Adding support for latex images in the objects tab.	2022-10-18 01:47:49 +02:00
native.py	Updating description line, changing tempfile to tempdir.	2022-03-05 17:49:35 +01:00
update.py	Updating description line, changing tempfile to tempdir.	2022-03-05 17:49:35 +01:00