5 Commits

Author	SHA1	Message	Date
Kartik K. Agaram	dd7e6e395d	switch to a single global output editor	2023-12-31 22:51:04 -08:00
Kartik K. Agaram	78228796fc	clean up the setFont gotcha ... Now that editors know their fonts..	2023-12-29 16:24:42 -08:00
Kartik K. Agaram	61bd89a3fe	bugfix in output editor wrapping ... scenario: - run a script that renders text in different font sizes - hide the code, then run the script in a way that prints logs or causes an error - show the code - the output buffer shows logs in the right font size, but wrapped with a font size used in the script	2023-12-29 10:23:17 -08:00
Kartik K. Agaram	3c183da74b	print to output buffer in all callbacks	2023-12-13 22:22:24 -08:00
Kartik K. Agaram	20f95bc766	running `print` now appends to output editor	2023-11-19 14:36:42 -08:00