Max Brunsfeld ed88fdcea2 Add unit test for diagnostic + path header ordering		2022-01-12 11:34:57 -08:00
..
pane.rs	Use a new Workspace::activate_item API in project diagnostics	2022-01-10 10:10:11 +01:00
pane_group.rs	Unify Flexible and Expanded elements	2022-01-06 17:29:34 -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	Add unit test for diagnostic + path header ordering	2022-01-12 11:34:57 -08:00