2022-02-27 14:47:46 +00:00
|
|
|
use crate::SearchOption;
|
|
|
|
use editor::{Anchor, Autoscroll, Editor, MultiBuffer, SelectAll};
|
|
|
|
use gpui::{
|
|
|
|
action, elements::*, keymap::Binding, platform::CursorStyle, AppContext, ElementBox, Entity,
|
|
|
|
ModelContext, ModelHandle, MutableAppContext, RenderContext, Task, View, ViewContext,
|
|
|
|
ViewHandle,
|
|
|
|
};
|
|
|
|
use postage::watch;
|
|
|
|
use project::{search::SearchQuery, Project};
|
|
|
|
use std::{
|
|
|
|
any::{Any, TypeId},
|
|
|
|
ops::Range,
|
|
|
|
path::PathBuf,
|
|
|
|
};
|
|
|
|
use util::ResultExt as _;
|
|
|
|
use workspace::{Item, ItemHandle, ItemNavHistory, ItemView, Settings, Workspace};
|
|
|
|
|
|
|
|
action!(Deploy);
|
|
|
|
action!(Search);
|
|
|
|
action!(SearchInNew);
|
|
|
|
action!(ToggleSearchOption, SearchOption);
|
|
|
|
action!(ToggleFocus);
|
|
|
|
|
|
|
|
pub fn init(cx: &mut MutableAppContext) {
|
|
|
|
cx.add_bindings([
|
2022-02-27 15:15:38 +00:00
|
|
|
Binding::new("cmd-shift-F", ToggleFocus, Some("ProjectSearchView")),
|
|
|
|
Binding::new("cmd-f", ToggleFocus, Some("ProjectSearchView")),
|
2022-02-27 14:47:46 +00:00
|
|
|
Binding::new("cmd-shift-F", Deploy, Some("Workspace")),
|
2022-02-27 15:15:38 +00:00
|
|
|
Binding::new("enter", Search, Some("ProjectSearchView")),
|
|
|
|
Binding::new("cmd-enter", SearchInNew, Some("ProjectSearchView")),
|
2022-02-27 14:47:46 +00:00
|
|
|
]);
|
2022-02-27 15:15:38 +00:00
|
|
|
cx.add_action(ProjectSearchView::deploy);
|
|
|
|
cx.add_action(ProjectSearchView::search);
|
|
|
|
cx.add_action(ProjectSearchView::search_in_new);
|
|
|
|
cx.add_action(ProjectSearchView::toggle_search_option);
|
|
|
|
cx.add_action(ProjectSearchView::toggle_focus);
|
2022-02-27 14:47:46 +00:00
|
|
|
}
|
|
|
|
|
2022-02-27 15:15:38 +00:00
|
|
|
struct ProjectSearch {
|
2022-02-27 14:47:46 +00:00
|
|
|
project: ModelHandle<Project>,
|
|
|
|
excerpts: ModelHandle<MultiBuffer>,
|
|
|
|
pending_search: Option<Task<Option<()>>>,
|
|
|
|
highlighted_ranges: Vec<Range<Anchor>>,
|
|
|
|
active_query: Option<SearchQuery>,
|
|
|
|
}
|
|
|
|
|
2022-02-27 15:15:38 +00:00
|
|
|
struct ProjectSearchView {
|
|
|
|
model: ModelHandle<ProjectSearch>,
|
2022-02-27 14:47:46 +00:00
|
|
|
query_editor: ViewHandle<Editor>,
|
|
|
|
results_editor: ViewHandle<Editor>,
|
|
|
|
case_sensitive: bool,
|
|
|
|
whole_word: bool,
|
|
|
|
regex: bool,
|
|
|
|
query_contains_error: bool,
|
|
|
|
settings: watch::Receiver<Settings>,
|
|
|
|
}
|
|
|
|
|
2022-02-27 15:15:38 +00:00
|
|
|
impl Entity for ProjectSearch {
|
2022-02-27 14:47:46 +00:00
|
|
|
type Event = ();
|
|
|
|
}
|
|
|
|
|
2022-02-27 15:15:38 +00:00
|
|
|
impl ProjectSearch {
|
2022-02-27 14:47:46 +00:00
|
|
|
fn new(project: ModelHandle<Project>, cx: &mut ModelContext<Self>) -> Self {
|
|
|
|
let replica_id = project.read(cx).replica_id();
|
|
|
|
Self {
|
|
|
|
project,
|
|
|
|
excerpts: cx.add_model(|_| MultiBuffer::new(replica_id)),
|
|
|
|
pending_search: Default::default(),
|
|
|
|
highlighted_ranges: Default::default(),
|
|
|
|
active_query: None,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn clone(&self, new_cx: &mut ModelContext<Self>) -> Self {
|
|
|
|
Self {
|
|
|
|
project: self.project.clone(),
|
|
|
|
excerpts: self
|
|
|
|
.excerpts
|
|
|
|
.update(new_cx, |excerpts, cx| cx.add_model(|cx| excerpts.clone(cx))),
|
|
|
|
pending_search: Default::default(),
|
|
|
|
highlighted_ranges: self.highlighted_ranges.clone(),
|
|
|
|
active_query: self.active_query.clone(),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn search(&mut self, query: SearchQuery, cx: &mut ModelContext<Self>) {
|
|
|
|
let search = self
|
|
|
|
.project
|
|
|
|
.update(cx, |project, cx| project.search(query.clone(), cx));
|
|
|
|
self.active_query = Some(query);
|
|
|
|
self.highlighted_ranges.clear();
|
|
|
|
self.pending_search = Some(cx.spawn_weak(|this, mut cx| async move {
|
|
|
|
let matches = search.await.log_err()?;
|
|
|
|
if let Some(this) = this.upgrade(&cx) {
|
|
|
|
this.update(&mut cx, |this, cx| {
|
|
|
|
this.highlighted_ranges.clear();
|
|
|
|
let mut matches = matches.into_iter().collect::<Vec<_>>();
|
|
|
|
matches
|
|
|
|
.sort_by_key(|(buffer, _)| buffer.read(cx).file().map(|file| file.path()));
|
|
|
|
this.excerpts.update(cx, |excerpts, cx| {
|
|
|
|
excerpts.clear(cx);
|
|
|
|
for (buffer, buffer_matches) in matches {
|
|
|
|
let ranges_to_highlight = excerpts.push_excerpts_with_context_lines(
|
|
|
|
buffer,
|
|
|
|
buffer_matches.clone(),
|
|
|
|
1,
|
|
|
|
cx,
|
|
|
|
);
|
|
|
|
this.highlighted_ranges.extend(ranges_to_highlight);
|
|
|
|
}
|
|
|
|
});
|
|
|
|
this.pending_search.take();
|
|
|
|
cx.notify();
|
|
|
|
});
|
|
|
|
}
|
|
|
|
None
|
|
|
|
}));
|
|
|
|
cx.notify();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-02-27 15:15:38 +00:00
|
|
|
impl Item for ProjectSearch {
|
|
|
|
type View = ProjectSearchView;
|
2022-02-27 14:47:46 +00:00
|
|
|
|
|
|
|
fn build_view(
|
|
|
|
model: ModelHandle<Self>,
|
|
|
|
workspace: &Workspace,
|
|
|
|
nav_history: ItemNavHistory,
|
|
|
|
cx: &mut gpui::ViewContext<Self::View>,
|
|
|
|
) -> Self::View {
|
|
|
|
let settings = workspace.settings();
|
|
|
|
let excerpts = model.read(cx).excerpts.clone();
|
|
|
|
|
|
|
|
let mut query_text = String::new();
|
|
|
|
let mut regex = false;
|
|
|
|
let mut case_sensitive = false;
|
|
|
|
let mut whole_word = false;
|
|
|
|
if let Some(active_query) = model.read(cx).active_query.as_ref() {
|
|
|
|
query_text = active_query.as_str().to_string();
|
|
|
|
regex = active_query.is_regex();
|
|
|
|
case_sensitive = active_query.case_sensitive();
|
|
|
|
whole_word = active_query.whole_word();
|
|
|
|
}
|
|
|
|
|
|
|
|
let query_editor = cx.add_view(|cx| {
|
|
|
|
let mut editor = Editor::single_line(
|
|
|
|
settings.clone(),
|
2022-02-27 15:15:38 +00:00
|
|
|
Some(|theme| theme.search.editor.input.clone()),
|
2022-02-27 14:47:46 +00:00
|
|
|
cx,
|
|
|
|
);
|
|
|
|
editor.set_text(query_text, cx);
|
|
|
|
editor
|
|
|
|
});
|
|
|
|
let results_editor = cx.add_view(|cx| {
|
|
|
|
let mut editor = Editor::for_buffer(
|
|
|
|
excerpts,
|
|
|
|
Some(workspace.project().clone()),
|
|
|
|
settings.clone(),
|
|
|
|
cx,
|
|
|
|
);
|
|
|
|
editor.set_searchable(false);
|
|
|
|
editor.set_nav_history(Some(nav_history));
|
|
|
|
editor
|
|
|
|
});
|
|
|
|
cx.observe(&results_editor, |_, _, cx| cx.emit(ViewEvent::UpdateTab))
|
|
|
|
.detach();
|
|
|
|
cx.observe(&model, |this, _, cx| this.model_changed(true, cx))
|
|
|
|
.detach();
|
|
|
|
|
2022-02-27 15:15:38 +00:00
|
|
|
ProjectSearchView {
|
2022-02-27 14:47:46 +00:00
|
|
|
model,
|
|
|
|
query_editor,
|
|
|
|
results_editor,
|
|
|
|
case_sensitive,
|
|
|
|
whole_word,
|
|
|
|
regex,
|
|
|
|
query_contains_error: false,
|
|
|
|
settings,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn project_path(&self) -> Option<project::ProjectPath> {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
enum ViewEvent {
|
|
|
|
UpdateTab,
|
|
|
|
}
|
|
|
|
|
2022-02-27 15:15:38 +00:00
|
|
|
impl Entity for ProjectSearchView {
|
2022-02-27 14:47:46 +00:00
|
|
|
type Event = ViewEvent;
|
|
|
|
}
|
|
|
|
|
2022-02-27 15:15:38 +00:00
|
|
|
impl View for ProjectSearchView {
|
2022-02-27 14:47:46 +00:00
|
|
|
fn ui_name() -> &'static str {
|
2022-02-27 15:15:38 +00:00
|
|
|
"ProjectSearchView"
|
2022-02-27 14:47:46 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
fn render(&mut self, cx: &mut RenderContext<Self>) -> ElementBox {
|
|
|
|
let model = &self.model.read(cx);
|
|
|
|
let results = if model.highlighted_ranges.is_empty() {
|
|
|
|
let theme = &self.settings.borrow().theme;
|
|
|
|
let text = if self.query_editor.read(cx).text(cx).is_empty() {
|
|
|
|
""
|
|
|
|
} else if model.pending_search.is_some() {
|
|
|
|
"Searching..."
|
|
|
|
} else {
|
|
|
|
"No results"
|
|
|
|
};
|
2022-02-27 15:15:38 +00:00
|
|
|
Label::new(text.to_string(), theme.search.results_status.clone())
|
2022-02-27 14:47:46 +00:00
|
|
|
.aligned()
|
|
|
|
.contained()
|
|
|
|
.with_background_color(theme.editor.background)
|
|
|
|
.flexible(1., true)
|
|
|
|
.boxed()
|
|
|
|
} else {
|
|
|
|
ChildView::new(&self.results_editor)
|
|
|
|
.flexible(1., true)
|
|
|
|
.boxed()
|
|
|
|
};
|
|
|
|
|
|
|
|
Flex::column()
|
|
|
|
.with_child(self.render_query_editor(cx))
|
|
|
|
.with_child(results)
|
|
|
|
.boxed()
|
|
|
|
}
|
|
|
|
|
|
|
|
fn on_focus(&mut self, cx: &mut ViewContext<Self>) {
|
|
|
|
if self.model.read(cx).highlighted_ranges.is_empty() {
|
|
|
|
cx.focus(&self.query_editor);
|
|
|
|
} else {
|
|
|
|
self.focus_results_editor(cx);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-02-27 15:15:38 +00:00
|
|
|
impl ItemView for ProjectSearchView {
|
2022-02-27 14:47:46 +00:00
|
|
|
fn act_as_type(
|
|
|
|
&self,
|
|
|
|
type_id: TypeId,
|
|
|
|
self_handle: &ViewHandle<Self>,
|
|
|
|
_: &gpui::AppContext,
|
|
|
|
) -> Option<gpui::AnyViewHandle> {
|
|
|
|
if type_id == TypeId::of::<Self>() {
|
|
|
|
Some(self_handle.into())
|
|
|
|
} else if type_id == TypeId::of::<Editor>() {
|
|
|
|
Some((&self.results_editor).into())
|
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn deactivated(&mut self, cx: &mut ViewContext<Self>) {
|
|
|
|
self.results_editor
|
|
|
|
.update(cx, |editor, cx| editor.deactivated(cx));
|
|
|
|
}
|
|
|
|
|
|
|
|
fn item(&self, _: &gpui::AppContext) -> Box<dyn ItemHandle> {
|
|
|
|
Box::new(self.model.clone())
|
|
|
|
}
|
|
|
|
|
2022-02-27 15:15:38 +00:00
|
|
|
fn tab_content(&self, tab_theme: &theme::Tab, cx: &gpui::AppContext) -> ElementBox {
|
2022-02-27 14:47:46 +00:00
|
|
|
let settings = self.settings.borrow();
|
2022-02-27 15:15:38 +00:00
|
|
|
let search_theme = &settings.theme.search;
|
2022-02-27 14:47:46 +00:00
|
|
|
Flex::row()
|
|
|
|
.with_child(
|
|
|
|
Svg::new("icons/magnifier.svg")
|
2022-02-27 15:15:38 +00:00
|
|
|
.with_color(tab_theme.label.text.color)
|
2022-02-27 14:47:46 +00:00
|
|
|
.constrained()
|
2022-02-27 15:15:38 +00:00
|
|
|
.with_width(search_theme.tab_icon_width)
|
2022-02-27 14:47:46 +00:00
|
|
|
.aligned()
|
|
|
|
.boxed(),
|
|
|
|
)
|
|
|
|
.with_children(self.model.read(cx).active_query.as_ref().map(|query| {
|
2022-02-27 15:15:38 +00:00
|
|
|
Label::new(query.as_str().to_string(), tab_theme.label.clone())
|
2022-02-27 14:47:46 +00:00
|
|
|
.aligned()
|
|
|
|
.contained()
|
2022-02-27 15:15:38 +00:00
|
|
|
.with_margin_left(search_theme.tab_icon_spacing)
|
2022-02-27 14:47:46 +00:00
|
|
|
.boxed()
|
|
|
|
}))
|
|
|
|
.boxed()
|
|
|
|
}
|
|
|
|
|
|
|
|
fn project_path(&self, _: &gpui::AppContext) -> Option<project::ProjectPath> {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
|
|
|
|
fn can_save(&self, _: &gpui::AppContext) -> bool {
|
|
|
|
true
|
|
|
|
}
|
|
|
|
|
|
|
|
fn is_dirty(&self, cx: &AppContext) -> bool {
|
|
|
|
self.results_editor.read(cx).is_dirty(cx)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn has_conflict(&self, cx: &AppContext) -> bool {
|
|
|
|
self.results_editor.read(cx).has_conflict(cx)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn save(
|
|
|
|
&mut self,
|
|
|
|
project: ModelHandle<Project>,
|
|
|
|
cx: &mut ViewContext<Self>,
|
|
|
|
) -> Task<anyhow::Result<()>> {
|
|
|
|
self.results_editor
|
|
|
|
.update(cx, |editor, cx| editor.save(project, cx))
|
|
|
|
}
|
|
|
|
|
|
|
|
fn can_save_as(&self, _: &gpui::AppContext) -> bool {
|
|
|
|
false
|
|
|
|
}
|
|
|
|
|
|
|
|
fn save_as(
|
|
|
|
&mut self,
|
|
|
|
_: ModelHandle<Project>,
|
|
|
|
_: PathBuf,
|
|
|
|
_: &mut ViewContext<Self>,
|
|
|
|
) -> Task<anyhow::Result<()>> {
|
|
|
|
unreachable!("save_as should not have been called")
|
|
|
|
}
|
|
|
|
|
|
|
|
fn clone_on_split(
|
|
|
|
&self,
|
|
|
|
nav_history: ItemNavHistory,
|
|
|
|
cx: &mut ViewContext<Self>,
|
|
|
|
) -> Option<Self>
|
|
|
|
where
|
|
|
|
Self: Sized,
|
|
|
|
{
|
|
|
|
let query_editor = cx.add_view(|cx| {
|
|
|
|
let query = self.query_editor.read(cx).text(cx);
|
|
|
|
let editor = Editor::single_line(
|
|
|
|
self.settings.clone(),
|
2022-02-27 15:15:38 +00:00
|
|
|
Some(|theme| theme.search.editor.input.clone()),
|
2022-02-27 14:47:46 +00:00
|
|
|
cx,
|
|
|
|
);
|
|
|
|
editor
|
|
|
|
.buffer()
|
|
|
|
.update(cx, |buffer, cx| buffer.edit([0..0], query, cx));
|
|
|
|
editor
|
|
|
|
});
|
|
|
|
let model = self
|
|
|
|
.model
|
|
|
|
.update(cx, |model, cx| cx.add_model(|cx| model.clone(cx)));
|
|
|
|
|
|
|
|
cx.observe(&model, |this, _, cx| this.model_changed(true, cx))
|
|
|
|
.detach();
|
|
|
|
let results_editor = cx.add_view(|cx| {
|
|
|
|
let model = model.read(cx);
|
|
|
|
let excerpts = model.excerpts.clone();
|
|
|
|
let project = model.project.clone();
|
|
|
|
let scroll_position = self
|
|
|
|
.results_editor
|
|
|
|
.update(cx, |editor, cx| editor.scroll_position(cx));
|
|
|
|
|
|
|
|
let mut editor = Editor::for_buffer(excerpts, Some(project), self.settings.clone(), cx);
|
|
|
|
editor.set_searchable(false);
|
|
|
|
editor.set_nav_history(Some(nav_history));
|
|
|
|
editor.set_scroll_position(scroll_position, cx);
|
|
|
|
editor
|
|
|
|
});
|
|
|
|
let mut view = Self {
|
|
|
|
model,
|
|
|
|
query_editor,
|
|
|
|
results_editor,
|
|
|
|
case_sensitive: self.case_sensitive,
|
|
|
|
whole_word: self.whole_word,
|
|
|
|
regex: self.regex,
|
|
|
|
query_contains_error: self.query_contains_error,
|
|
|
|
settings: self.settings.clone(),
|
|
|
|
};
|
|
|
|
view.model_changed(false, cx);
|
|
|
|
Some(view)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn navigate(&mut self, data: Box<dyn Any>, cx: &mut ViewContext<Self>) {
|
|
|
|
self.results_editor
|
|
|
|
.update(cx, |editor, cx| editor.navigate(data, cx));
|
|
|
|
}
|
|
|
|
|
|
|
|
fn should_update_tab_on_event(event: &ViewEvent) -> bool {
|
|
|
|
matches!(event, ViewEvent::UpdateTab)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-02-27 15:15:38 +00:00
|
|
|
impl ProjectSearchView {
|
2022-02-27 14:47:46 +00:00
|
|
|
fn deploy(workspace: &mut Workspace, _: &Deploy, cx: &mut ViewContext<Workspace>) {
|
|
|
|
if let Some(existing) = workspace
|
2022-02-27 15:15:38 +00:00
|
|
|
.items_of_type::<ProjectSearch>(cx)
|
2022-02-27 14:47:46 +00:00
|
|
|
.max_by_key(|existing| existing.id())
|
|
|
|
{
|
|
|
|
workspace.activate_item(&existing, cx);
|
|
|
|
} else {
|
2022-02-27 15:15:38 +00:00
|
|
|
let model = cx.add_model(|cx| ProjectSearch::new(workspace.project().clone(), cx));
|
2022-02-27 14:47:46 +00:00
|
|
|
workspace.open_item(model, cx);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn search(&mut self, _: &Search, cx: &mut ViewContext<Self>) {
|
|
|
|
if let Some(query) = self.build_search_query(cx) {
|
|
|
|
self.model.update(cx, |model, cx| model.search(query, cx));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn search_in_new(workspace: &mut Workspace, _: &SearchInNew, cx: &mut ViewContext<Workspace>) {
|
2022-02-27 15:15:38 +00:00
|
|
|
if let Some(search_view) = workspace
|
2022-02-27 14:47:46 +00:00
|
|
|
.active_item(cx)
|
2022-02-27 15:15:38 +00:00
|
|
|
.and_then(|item| item.downcast::<ProjectSearchView>())
|
2022-02-27 14:47:46 +00:00
|
|
|
{
|
2022-02-27 15:15:38 +00:00
|
|
|
let new_query = search_view.update(cx, |search_view, cx| {
|
|
|
|
let new_query = search_view.build_search_query(cx);
|
2022-02-27 14:47:46 +00:00
|
|
|
if new_query.is_some() {
|
2022-02-27 15:15:38 +00:00
|
|
|
if let Some(old_query) = search_view.model.read(cx).active_query.clone() {
|
|
|
|
search_view.query_editor.update(cx, |editor, cx| {
|
2022-02-27 14:47:46 +00:00
|
|
|
editor.set_text(old_query.as_str(), cx);
|
|
|
|
});
|
2022-02-27 15:15:38 +00:00
|
|
|
search_view.regex = old_query.is_regex();
|
|
|
|
search_view.whole_word = old_query.whole_word();
|
|
|
|
search_view.case_sensitive = old_query.case_sensitive();
|
2022-02-27 14:47:46 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
new_query
|
|
|
|
});
|
|
|
|
if let Some(new_query) = new_query {
|
|
|
|
let model = cx.add_model(|cx| {
|
2022-02-27 15:15:38 +00:00
|
|
|
let mut model = ProjectSearch::new(workspace.project().clone(), cx);
|
2022-02-27 14:47:46 +00:00
|
|
|
model.search(new_query, cx);
|
|
|
|
model
|
|
|
|
});
|
|
|
|
workspace.open_item(model, cx);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn build_search_query(&mut self, cx: &mut ViewContext<Self>) -> Option<SearchQuery> {
|
|
|
|
let text = self.query_editor.read(cx).text(cx);
|
|
|
|
if self.regex {
|
|
|
|
match SearchQuery::regex(text, self.whole_word, self.case_sensitive) {
|
|
|
|
Ok(query) => Some(query),
|
|
|
|
Err(_) => {
|
|
|
|
self.query_contains_error = true;
|
|
|
|
cx.notify();
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
Some(SearchQuery::text(
|
|
|
|
text,
|
|
|
|
self.whole_word,
|
|
|
|
self.case_sensitive,
|
|
|
|
))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn toggle_search_option(
|
|
|
|
&mut self,
|
|
|
|
ToggleSearchOption(option): &ToggleSearchOption,
|
|
|
|
cx: &mut ViewContext<Self>,
|
|
|
|
) {
|
|
|
|
let value = match option {
|
|
|
|
SearchOption::WholeWord => &mut self.whole_word,
|
|
|
|
SearchOption::CaseSensitive => &mut self.case_sensitive,
|
|
|
|
SearchOption::Regex => &mut self.regex,
|
|
|
|
};
|
|
|
|
*value = !*value;
|
|
|
|
self.search(&Search, cx);
|
|
|
|
cx.notify();
|
|
|
|
}
|
|
|
|
|
|
|
|
fn toggle_focus(&mut self, _: &ToggleFocus, cx: &mut ViewContext<Self>) {
|
|
|
|
if self.query_editor.is_focused(cx) {
|
|
|
|
if !self.model.read(cx).highlighted_ranges.is_empty() {
|
|
|
|
self.focus_results_editor(cx);
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
self.query_editor.update(cx, |query_editor, cx| {
|
|
|
|
query_editor.select_all(&SelectAll, cx);
|
|
|
|
});
|
|
|
|
cx.focus(&self.query_editor);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn focus_results_editor(&self, cx: &mut ViewContext<Self>) {
|
|
|
|
self.query_editor.update(cx, |query_editor, cx| {
|
|
|
|
let head = query_editor.newest_anchor_selection().head();
|
|
|
|
query_editor.select_ranges([head.clone()..head], None, cx);
|
|
|
|
});
|
|
|
|
cx.focus(&self.results_editor);
|
|
|
|
}
|
|
|
|
|
|
|
|
fn model_changed(&mut self, reset_selections: bool, cx: &mut ViewContext<Self>) {
|
|
|
|
let highlighted_ranges = self.model.read(cx).highlighted_ranges.clone();
|
|
|
|
if !highlighted_ranges.is_empty() {
|
2022-02-27 15:15:38 +00:00
|
|
|
let theme = &self.settings.borrow().theme.search;
|
2022-02-27 14:47:46 +00:00
|
|
|
self.results_editor.update(cx, |editor, cx| {
|
|
|
|
editor.highlight_ranges::<Self>(highlighted_ranges, theme.match_background, cx);
|
|
|
|
if reset_selections {
|
|
|
|
editor.select_ranges([0..0], Some(Autoscroll::Fit), cx);
|
|
|
|
}
|
|
|
|
});
|
|
|
|
if self.query_editor.is_focused(cx) {
|
|
|
|
self.focus_results_editor(cx);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
cx.emit(ViewEvent::UpdateTab);
|
|
|
|
cx.notify();
|
|
|
|
}
|
|
|
|
|
|
|
|
fn render_query_editor(&self, cx: &mut RenderContext<Self>) -> ElementBox {
|
|
|
|
let theme = &self.settings.borrow().theme;
|
|
|
|
let editor_container = if self.query_contains_error {
|
2022-02-27 15:15:38 +00:00
|
|
|
theme.search.invalid_editor
|
2022-02-27 14:47:46 +00:00
|
|
|
} else {
|
2022-02-27 15:15:38 +00:00
|
|
|
theme.search.editor.input.container
|
2022-02-27 14:47:46 +00:00
|
|
|
};
|
|
|
|
Flex::row()
|
|
|
|
.with_child(
|
|
|
|
ChildView::new(&self.query_editor)
|
|
|
|
.contained()
|
|
|
|
.with_style(editor_container)
|
|
|
|
.aligned()
|
|
|
|
.constrained()
|
2022-02-27 15:15:38 +00:00
|
|
|
.with_max_width(theme.search.editor.max_width)
|
2022-02-27 14:47:46 +00:00
|
|
|
.boxed(),
|
|
|
|
)
|
|
|
|
.with_child(
|
|
|
|
Flex::row()
|
|
|
|
.with_child(self.render_option_button("Case", SearchOption::CaseSensitive, cx))
|
|
|
|
.with_child(self.render_option_button("Word", SearchOption::WholeWord, cx))
|
|
|
|
.with_child(self.render_option_button("Regex", SearchOption::Regex, cx))
|
|
|
|
.contained()
|
2022-02-27 15:15:38 +00:00
|
|
|
.with_style(theme.search.option_button_group)
|
2022-02-27 14:47:46 +00:00
|
|
|
.aligned()
|
|
|
|
.boxed(),
|
|
|
|
)
|
|
|
|
.contained()
|
2022-02-27 15:15:38 +00:00
|
|
|
.with_style(theme.search.container)
|
2022-02-27 14:47:46 +00:00
|
|
|
.constrained()
|
|
|
|
.with_height(theme.workspace.toolbar.height)
|
2022-02-27 15:15:38 +00:00
|
|
|
.named("project search")
|
2022-02-27 14:47:46 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
fn render_option_button(
|
|
|
|
&self,
|
|
|
|
icon: &str,
|
|
|
|
option: SearchOption,
|
|
|
|
cx: &mut RenderContext<Self>,
|
|
|
|
) -> ElementBox {
|
2022-02-27 15:15:38 +00:00
|
|
|
let theme = &self.settings.borrow().theme.search;
|
2022-02-27 14:47:46 +00:00
|
|
|
let is_active = self.is_option_enabled(option);
|
|
|
|
MouseEventHandler::new::<Self, _, _>(option as usize, cx, |state, _| {
|
|
|
|
let style = match (is_active, state.hovered) {
|
|
|
|
(false, false) => &theme.option_button,
|
|
|
|
(false, true) => &theme.hovered_option_button,
|
|
|
|
(true, false) => &theme.active_option_button,
|
|
|
|
(true, true) => &theme.active_hovered_option_button,
|
|
|
|
};
|
|
|
|
Label::new(icon.to_string(), style.text.clone())
|
|
|
|
.contained()
|
|
|
|
.with_style(style.container)
|
|
|
|
.boxed()
|
|
|
|
})
|
|
|
|
.on_click(move |cx| cx.dispatch_action(ToggleSearchOption(option)))
|
|
|
|
.with_cursor_style(CursorStyle::PointingHand)
|
|
|
|
.boxed()
|
|
|
|
}
|
|
|
|
|
|
|
|
fn is_option_enabled(&self, option: SearchOption) -> bool {
|
|
|
|
match option {
|
|
|
|
SearchOption::WholeWord => self.whole_word,
|
|
|
|
SearchOption::CaseSensitive => self.case_sensitive,
|
|
|
|
SearchOption::Regex => self.regex,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|