Сode theme manager for Robofont 4 Scripting Window.
An extension for quickly changing the color theme of the Python code in Robofont 4. The extension uses built-in styles from the pygments modules.
More information on the link: https://pygments.org/styles/