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.
I expect this button to always be visible
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
Safari Version 16.3 (18622.214.171.124.6) / Ventura 13.2.1 / Mac desktop