Max Brunsfeld c9b4bb78f2 Merge branch 'project-diagnostics-pinned-tab' into style-project-diagnostics

2022-01-25 12:20:37 -08:00

..

menu.rs

Add select_first and select_last bindings to outline view

2022-01-14 10:45:37 -08:00

pane_group.rs

Unify Flexible and Expanded elements

2022-01-06 17:29:34 -08:00

pane.rs

Merge branch 'project-diagnostics-pinned-tab' into style-project-diagnostics

2022-01-25 12:20:37 -08:00

settings.rs

Make settings fields that can be overridden private

2021-11-29 17:08:43 +01:00

sidebar.rs

Unify Flexible and Expanded elements

2022-01-06 17:29:34 -08:00

status_bar.rs

Unify Flexible and Expanded elements

2022-01-06 17:29:34 -08:00

workspace.rs

Merge branch 'project-diagnostics-pinned-tab' into style-project-diagnostics

2022-01-25 12:20:37 -08:00