I’m not sure if I’m right about this, but …
as I recall in Windows version 3.3.1 when I put Sonic Pi in fullscreen mode it hides the taskbar, which I really like when I record videos with OBS.
When I put Sonic Pi in fullscreen mode in 4.3 it doesn’t hide the taskbar.
I have to go into the Windows settings and adjust stuff to auto hide taskbar, but I always touch the taskbar during recording with the mouse, so I would love if Sonic Pi hide the taskbar on default in fullscreen mode if possible?