cursive
cursive copied to clipboard
REPL output uses styling of normal editor
Reported by @mpenttila in Slack:
It seems that in 1.13.4 inputs and results in the REPL console window have the background colour of editor windows (i.e. General -> Text -> Default text), not console windows. Previously it used the console background colour. Not a big deal, and in default colour schemes editors and consoles have the same background colour anyway, but just wondering if there would be some way to fix this?