If a user or a script calls GFX_SYNC FALSE and forgets to turn it back on, the REPL will misbehave. There is a warning about this in the help message for GFX_SYNC... but people are bound to make mistakes in this area and be confused.
We should probably have some machine-level hooks that soft-reset certain subsystems. There currently is such a feature for CLEAR, but it's too broad because it resets colors and many other details. So we should have a narrowed definition of what "clearing" means and call it from the REPL every time we show the prompt.
If a user or a script calls
GFX_SYNC FALSEand forgets to turn it back on, the REPL will misbehave. There is a warning about this in the help message forGFX_SYNC... but people are bound to make mistakes in this area and be confused.We should probably have some machine-level hooks that soft-reset certain subsystems. There currently is such a feature for
CLEAR, but it's too broad because it resets colors and many other details. So we should have a narrowed definition of what "clearing" means and call it from the REPL every time we show the prompt.