Show highlighted symbol in the scrollbar (#7029)

Release Notes:

- Added highlighted symbols to the scrollbar; partially mentioned in:
  - https://github.com/zed-industries/zed/issues/5308
  - https://github.com/zed-industries/zed/issues/4866
This commit is contained in:
Felix Salazar 2024-01-30 22:57:42 +01:00 committed by GitHub
parent 871b8525b4
commit cbcaca4153
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 55 additions and 5 deletions

View file

@ -31,6 +31,7 @@ pub struct Scrollbar {
pub show: ShowScrollbar,
pub git_diff: bool,
pub selections: bool,
pub symbols_selections: bool,
}
/// When to show the scrollbar in the editor.
@ -103,6 +104,10 @@ pub struct ScrollbarContent {
///
/// Default: true
pub selections: Option<bool>,
/// Whether to show symbols highlighted markers in the scrollbar.
///
/// Default: true
pub symbols_selections: Option<bool>,
}
impl Settings for EditorSettings {