search

easyuc / EasyUC

Experiments with Universal Composability in EasyCrypt
30 stars 1 forks source link

Make UC code frame read-only #8

Closed 01tomislav closed 11 months ago

01tomislav commented 11 months ago

Is there a way to make the frame displaying UC code read only? I find I keep mistakenly type in them.