zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-11-07 20:39:04 +03:00
Code Issues Packages Projects Releases Wiki Activity

extensions_ui: Remove commented-out code (#14525)

Browse Source 
This PR removes some commented-out code from the `extensions_ui`.

Release Notes:

- N/A
This commit is contained in:
Marshall Bowers 2024-07-15 19:00:49 -04:00 committed by GitHub
parent 1818fef32f
commit da33aac156
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 13 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
crates/extensions_ui/src/extensions_ui.rs
View File

@ -762,25 +762,19 @@ impl ExtensionsPage {
cx.theme().colors().border
};
h_flex()
.w_full()
.gap_2()
.key_context(key_context)
// .capture_action(cx.listener(Self::tab))
// .on_action(cx.listener(Self::dismiss))
.child(
h_flex()
.flex_1()
.px_2()
.py_1()
.gap_2()
.border_1()
.border_color(editor_border)
.min_w(rems_from_px(384.))
.rounded_lg()
.child(Icon::new(IconName::MagnifyingGlass))
.child(self.render_text_input(&self.query_editor, cx)),
)
h_flex().w_full().gap_2().key_context(key_context).child(
h_flex()
.flex_1()
.px_2()
.py_1()
.gap_2()
.border_1()
.border_color(editor_border)
.min_w(rems_from_px(384.))
.rounded_lg()
.child(Icon::new(IconName::MagnifyingGlass))
.child(self.render_text_input(&self.query_editor, cx)),
)
}
fn render_text_input(&self, editor: &View<Editor>, cx: &ViewContext<Self>) -> impl IntoElement {