search

leanprover-community / lean4game

Server to host lean games.
https://adam.math.hhu.de
GNU General Public License v3.0
199 stars 35 forks source link

Design of toggle buttons (again) #114

Closed TentativeConvert closed 1 year ago

TentativeConvert commented 1 year ago

see https://github.com/leanprover-community/lean4game/issues/89#issuecomment-1696998593_

joneugster commented 1 year ago

I think its best to simple reopen issues you comment on, missed that comment. (I think we all should have the permissions to do that)

joneugster commented 1 year ago

I think its best to simple reopen issues you comment on, missed that comment.

update: nwm I see you wrote you cant. Can we fix these permissions so tjat anybody can reopen issues?