Boole
Boole copied to clipboard
Editor not automatically focused on reload
The editor window is not focused after a refresh of the page, not sure if intended or not
The editor window is not focused after a refresh of the page, not sure if intended or not