Antonio Scandurra d480738cc5 Skip past entries in the navigation history that can't be re-opened		2022-01-18 09:58:40 +01: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	Skip past entries in the navigation history that can't be re-opened	2022-01-18 09:58:40 +01: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	Navigate to previous positions in editors when using navigation history	2022-01-17 16:01:52 -08:00