From 079b8db4b89c34f3f0b228ca9295dc7753dcb344 Mon Sep 17 00:00:00 2001 From: rocky Date: Thu, 9 Jan 2025 11:57:14 -0500 Subject: [PATCH] Changes to make --prompt={GNU,none} work again --- mathicsscript/termshell.py | 16 +++++++--------- 1 file changed, 7 insertions(+), 9 deletions(-) diff --git a/mathicsscript/termshell.py b/mathicsscript/termshell.py index 6bf8e73..e6cbb1f 100644 --- a/mathicsscript/termshell.py +++ b/mathicsscript/termshell.py @@ -119,17 +119,15 @@ def __init__( self.pygments_style = style self.definitions = definitions - set_settings_value( - self.definitions, "Settings`$PygmentsShowTokens", from_python(False) + self.definitions.set_ownvalue( + "Settings`$PygmentsShowTokens", from_python(False) ) - set_settings_value( - self.definitions, "Settings`$UseUnicode", from_python(use_unicode) - ) - set_settings_value( - self.definitions, - "Settings`PygmentsStylesAvailable", - from_python(ALL_PYGMENTS_STYLES), + self.definitions.set_ownvalue("Settings`$PygmentsStyle", from_python(style)) + self.definitions.set_ownvalue("Settings`$UseUnicode", from_python(use_unicode)) + self.definitions.set_ownvalue( + "Settings`PygmentsStylesAvailable", from_python(ALL_PYGMENTS_STYLES) ) + self.definitions.add_message( "Settings`PygmentsStylesAvailable", Rule(