Open RazinShaikh opened 4 days ago
When we rename the proof step, a plain edit box opens on top which looks a bit ugly. We should change the style of the edit box such that it does not paint over the circular step symbol and appears to be editing in place.
When we rename the proof step, a plain edit box opens on top which looks a bit ugly. We should change the style of the edit box such that it does not paint over the circular step symbol and appears to be editing in place.