Lagrange [dev]
v0.7.0
History
2020-10-31 Merge branch 'dev' into release — 🔖 v0.7.0
2020-10-31 Saving and loading key bindings
2020-10-31 Preferences: Basic key bindings UI
2020-10-31 Preferences: Changed apperance of tabs
2020-10-31 Window: Dismiss sidebar with Escape
2020-10-30 Updating LabelWidget command key