Releases: Safe-DS/API-Editor
Releases · Safe-DS/API-Editor
v1.9.0
1.9.0 (2022-06-24)
Features
v1.8.0
1.8.0 (2022-06-24)
Features
- gui: undo/redo for "Mark as Complete" and "Mark as Correct" (#774) (3b14688)
v1.7.1
1.7.1 (2022-06-24)
Bug Fixes
- gui: detect numbers using scientific notation as literals (#773) (3df307c)
v1.7.0
1.7.0 (2022-06-24)
Features
- gui: enable batchmode rename to replace with an empty string (#772) (06efb6f)
v1.6.0
1.6.0 (2022-06-24)
Features
- parser: always generate constant/optional/required annotations (#769) (580ecb8)
v1.5.1
1.5.1 (2022-06-24)
Bug Fixes
- parser: generation of required annotation if there is only one literal value (#758) (233d849)
v1.5.0
1.5.0 (2022-06-22)
Features
- backend: change server config via command line arguments (#699) (47d2990)
v1.4.0
1.4.0 (2022-06-22)
Features
v1.3.0
1.3.0 (2022-06-22)
Features
- gui: count annotations only on matched elements (#697) (93ea52c)
v1.2.2
1.2.2 (2022-06-22)
Bug Fixes
- gui: disable "batch mode" and "delete all annotations" when username is invalid (#695) (cc13a7f)