Skip to content
This repository was archived by the owner on Jan 19, 2025. It is now read-only.

Releases: Safe-DS/API-Editor

v1.15.0

25 Jun 12:27
8733928
Compare
Choose a tag to compare

1.15.0 (2022-06-25)

Features

v1.14.0

25 Jun 10:11
597164b
Compare
Choose a tag to compare

1.14.0 (2022-06-25)

Features

  • gui: improve annotation filter buttons in statistics view (#784) (597164b)

v1.13.0

25 Jun 09:52
7d71123
Compare
Choose a tag to compare

1.13.0 (2022-06-25)

Features

  • gui: mark any API element as complete (#783) (7d71123)

v1.12.0

25 Jun 09:25
7bca072
Compare
Choose a tag to compare

1.12.0 (2022-06-25)

Features

  • gui: option to expand documentation by default (#782) (7bca072)

v1.11.0

25 Jun 09:08
642d10a
Compare
Choose a tag to compare

1.11.0 (2022-06-25)

Features

v1.10.3

25 Jun 08:35
4955009
Compare
Choose a tag to compare

1.10.3 (2022-06-25)

Bug Fixes

  • gui: previous/next if selected element not in filtered tree view (#780) (4955009)

v1.10.2

24 Jun 20:13
6e1d0b2
Compare
Choose a tag to compare

1.10.2 (2022-06-24)

Bug Fixes

  • gui: bullet point overlapping with "read more/less" icon button (#779) (6e1d0b2)

v1.10.1

24 Jun 19:58
38195c3
Compare
Choose a tag to compare

1.10.1 (2022-06-24)

Bug Fixes

  • gui: close batch mode dropdown after an option was chosen (#778) (38195c3)

v1.10.0

24 Jun 19:47
a070427
Compare
Choose a tag to compare

1.10.0 (2022-06-24)

Features

  • gui: preview message of @Todo annotation (#777) (a070427)

v1.9.1

24 Jun 19:15
9c03ff0
Compare
Choose a tag to compare

1.9.1 (2022-06-24)

Bug Fixes

  • parser: names of enums and enum instances (#776) (9c03ff0)