Closed mllewellyn closed 9 years ago
Yeah, I think this is confusing as well. The 'new' and 'open' are supposed to refer to the proof, i.e. you open an existing proof or start a new proof for some puzzle.... but the 'new' really opens a new puzzle of course. So maybe we should have "open proof" and "open puzzle" (which automatically starts a new proof) instead.
Fixed by commit 9e3214479c554e81b742dc4d1ce3342be3c520d7
Opening a puzzle with the new buttom doesn't make any sense. The icon/name should be changed to something more logical.