Add ability to hide status bar (#39430)
This pull request adds the ability to configure the setting to hide or show the status bar, as described in discussion: https://github.com/zed-industries/zed/discussions/38591 The original [PR #38974](https://github.com/zed-industries/zed/pull/38974#issuecomment-3362020879) was merged but reverted due to hidden conflicts. As per @ConradIrwin 's [request](https://github.com/zed-industries/zed/pull/38974#issuecomment-3362020879), I am recreating the PR on top of updated main branch. Release Notes: - Added an experimental setting `"status_bar": { "experimental.show": false}` to hide the status bars. --------- Co-authored-by: Conrad Irwin <conrad.irwin@gmail.com>
This commit is contained in:
co-authored by
Conrad Irwin
parent
55e68553a4
commit
d9c7f44b0b
@@ -25,7 +25,6 @@ pub struct EditorSettings {
|
||||
pub lsp_highlight_debounce: u64,
|
||||
pub hover_popover_enabled: bool,
|
||||
pub hover_popover_delay: u64,
|
||||
pub status_bar: StatusBar,
|
||||
pub toolbar: Toolbar,
|
||||
pub scrollbar: Scrollbar,
|
||||
pub minimap: Minimap,
|
||||
@@ -67,18 +66,6 @@ pub struct Jupyter {
|
||||
pub enabled: bool,
|
||||
}
|
||||
|
||||
#[derive(Clone, Debug, PartialEq, Eq)]
|
||||
pub struct StatusBar {
|
||||
/// Whether to display the active language button in the status bar.
|
||||
///
|
||||
/// Default: true
|
||||
pub active_language_button: bool,
|
||||
/// Whether to show the cursor position button in the status bar.
|
||||
///
|
||||
/// Default: true
|
||||
pub cursor_position_button: bool,
|
||||
}
|
||||
|
||||
#[derive(Clone, Debug, PartialEq, Eq)]
|
||||
pub struct Toolbar {
|
||||
pub breadcrumbs: bool,
|
||||
@@ -195,7 +182,6 @@ impl Settings for EditorSettings {
|
||||
let minimap = editor.minimap.unwrap();
|
||||
let gutter = editor.gutter.unwrap();
|
||||
let axes = scrollbar.axes.unwrap();
|
||||
let status_bar = editor.status_bar.unwrap();
|
||||
let toolbar = editor.toolbar.unwrap();
|
||||
let search = editor.search.unwrap();
|
||||
let drag_and_drop_selection = editor.drag_and_drop_selection.unwrap();
|
||||
@@ -208,10 +194,6 @@ impl Settings for EditorSettings {
|
||||
lsp_highlight_debounce: editor.lsp_highlight_debounce.unwrap(),
|
||||
hover_popover_enabled: editor.hover_popover_enabled.unwrap(),
|
||||
hover_popover_delay: editor.hover_popover_delay.unwrap(),
|
||||
status_bar: StatusBar {
|
||||
active_language_button: status_bar.active_language_button.unwrap(),
|
||||
cursor_position_button: status_bar.cursor_position_button.unwrap(),
|
||||
},
|
||||
toolbar: Toolbar {
|
||||
breadcrumbs: toolbar.breadcrumbs.unwrap(),
|
||||
quick_actions: toolbar.quick_actions.unwrap(),
|
||||
|
||||
Reference in New Issue
Block a user