v1.23.0

1.23.0 (2022-06-25)

Features

• gui: prefill label for GitHub issue for wrong annotation (#799) (85ebe91)

v1.22.1

1.22.1 (2022-06-25)

Bug Fixes

• gui: scrollbars on documentation text (#798) (48b9300)

v1.22.0

1.22.0 (2022-06-25)

Features

• gui: links to other declarations in documentation (#797) (6cda741)

v1.21.0

1.21.0 (2022-06-25)

Features

• gui: attribute/constant/optional/required annotations now replace each other (#795) (165a8da)

v1.20.0

1.20.0 (2022-06-25)

Features

• todo annotation for parameters (#793) (f5e6a7d)

v1.19.0

1.19.0 (2022-06-25)

Features

• gui: improved issue reporting (#792) (5e70ce1)

v1.18.0

1.18.0 (2022-06-25)

Features

• gui: inform user when previous/next goes back to end/start of list (#789) (0feb4e2)

v1.17.1

1.17.1 (2022-06-25)

Bug Fixes

• gui: show tooltips on bar charts even when cursor does not intersect bar (#788) (2fbdd4c)

v1.17.0

1.17.0 (2022-06-25)

Features

• gui: shortcut to toggle completion of selected element (#787) (0a3142e)

v1.16.0

1.16.0 (2022-06-25)

Features

• gui: breadcrumbs for selected element (#786) (2622d18)