Remove f5-f6 keybindings

It's too clumsy and hard to hook in.

Author: rocky

mathicsscript/bindkeys.py

@@ -27,7 +27,6 @@
 import pathlib
 import re
 
-from mathicsscript.termshell import ALL_PYGMENTS_STYLES
 from mathicsscript.settings import definitions
 from mathics.session import get_settings_value
 
@@ -147,36 +146,6 @@ def _group_autocomplete_toggle(event):
     app.group_autocomplete = not app.group_autocomplete
 
 
-# Add an additional key binding for toggling this flag.
-@bindings.add("f5")
-def _next_pygments_style(event):
-    """Set Pygments style to the next sytle in ALL_PYGMENTS_STYLE."""
-    app = event.app
-
-    try:
-        i = ALL_PYGMENTS_STYLES.index(app.pygments_style)
-    except ValueError:
-        pass
-    else:
-        i = (i + 1) % len(ALL_PYGMENTS_STYLES)
-        app.pygments_style = ALL_PYGMENTS_STYLES[i]
-
-
-# Add an additional key binding for toggling this flag.
-@bindings.add("f6")
-def _prev_pygments_style(event):
-    """Set Pygments style to the previous sytle in ALL_PYGMENTS_STYLE."""
-    app = event.app
-
-    try:
-        i = ALL_PYGMENTS_STYLES.index(app.pygments_style)
-    except ValueError:
-        pass
-    else:
-        i = (i - 1) % len(ALL_PYGMENTS_STYLES)
-        app.pygments_style = ALL_PYGMENTS_STYLES[i]
-
-
 def read_inputrc(read_init_file_fn: Callable, use_unicode: bool) -> None:
     """
     Read GNU Readline style inputrc

mathicsscript/termshell_prompt.py

@@ -79,9 +79,7 @@ def bottom_toolbar(self):
             app.help_mode = False
 
         if app.help_mode:
-            return HTML(
-                "f1: help, f3: toggle autocomplete, f4: toggle edit mode, f5: next style, f6: previous style"
-            )
+            return HTML("f1: help, f3: toggle autocomplete, f4: toggle edit mode")
 
         # The first time around, app.group_autocomplete has not been set,
         # so use the value from Settings`GroupAutocomplete.
@@ -102,20 +100,19 @@ def bottom_toolbar(self):
             app.group_autocomplete = True
             self.definitions.set_ownvalue("Settings`$GroupAutocomplete", SymbolTrue)
 
-        app.pygments_style = self.pygments_style
         if self.definitions.get_ownvalue("Settings`$PygmentsStyle") is not SymbolNull:
             value = self.definitions.get_ownvalue(
                 "Settings`$PygmentsStyle"
             ).get_string_value()
             if value is not None and len(value) and value[0] == value[-1] == '"':
                 value = value[1:-1]
-            app.pygments_style = value
+            pygments_style = value
         else:
-            app.pygments_style = self.pygments_style
+            pygments_style = self.pygments_style
 
         edit_mode = "Vi" if app.editing_mode == EditingMode.VI else "Emacs"
         return HTML(
-            f" mathicsscript: {__version__}, Style: {app.pygments_style}, Mode: {edit_mode}, Autobrace: {app.group_autocomplete}"
+            f" mathicsscript: {__version__}, Style: {pygments_style}, Mode: {edit_mode}, Autobrace: {app.group_autocomplete}, f1: Help"
         )
 
     def errmsg(self, message: str):
@@ -222,8 +219,6 @@ def read_line(self, prompt, completer=None, use_html: bool = False):
             if self.pygments_style != "None"
             else None
         )
-        app = get_app()
-        app.pygments_style = self.pygments_style
 
         if completer is None:
             completer = self.completer