Problem description:
In Java repls, there is a formatting button that is supposed to allow users to reformat/reindent. Most of the times it is visible, but not always. Sometimes when I first open a repl it isn’t open, and then after several seconds it does appear. Other times, nada.
Expected behavior:
I expect this button to always be visible
Actual behavior:
Most of the time it is – but when I need it, it isn’t
Steps to reproduce:
Open a replit, look for the button, don’t see it
Bug appears at this link:
Any Java based repl
Browser/OS/Device:
Safari Version 16.3 (18614.4.6.1.6) / Ventura 13.2.1 / Mac desktop