Rename/Remove contracts
Contracts cannot be renamed from the “overview” tab/view (one has to
double click in the contract and modify it in the “Contracts
Specification for OCRA” tab/view)
Symbols are not allowed as part of the name (I guess a problem with the
parser)
I did not find anyway to remove the contract (from neither of the
tabs/views)
(from redmine: issue id 2970, created on 2017-05-31, closed on 2018-02-01)
- Relations:
- relates #3244 (closed)