Compare commits

..

No commits in common. "82452648740922160016c339c3c36794294af095" and "5fa118233c1db0e000dca68a3778c0c61ef9eab8" have entirely different histories.

View file

@ -28,7 +28,7 @@ DEFAULT_SETTINGS = {
"reset_redo_stack": True,
"last_install_greet": "0",
"enable_latex": which("latex") is not None and which("dvipng") is not None,
"enable_latex_threaded": False,
"enable_latex_threaded": True,
"expression_editor": {
"autoclose": True,
"colorize": True,