Lagrange [dev]
v1.17.0
History
2023-10-06 Merge branch 'dev' into release — 🔖 v1.17.0
2023-10-06 DocumentWidget: Fixed "Paste Preceding Line" keyboard shortcut
2023-10-06 Merge branch 'dev' into release
2023-10-06 macOS: Fixed OS version check
2023-10-06 Updated AppData for 1.17
2023-10-06 Merge branch 'dev' into release
2023-10-06 Reserve space for info items in menus
2023-10-06 Merge branch 'dev' into release
2023-10-06 Fixed a menu getting stuck wrapping text too narrowly