617 lines
20 KiB
Rust
617 lines
20 KiB
Rust
use crate::{
|
|
Anchor, Autoscroll, Editor, Event, ExcerptId, MultiBuffer, NavigationData, ToPoint as _,
|
|
};
|
|
use anyhow::{anyhow, Result};
|
|
use futures::FutureExt;
|
|
use gpui::{
|
|
elements::*, geometry::vector::vec2f, AppContext, Entity, ModelHandle, MutableAppContext,
|
|
RenderContext, Subscription, Task, View, ViewContext, ViewHandle,
|
|
};
|
|
use language::{Bias, Buffer, File as _, SelectionGoal};
|
|
use project::{File, Project, ProjectEntryId, ProjectPath};
|
|
use rpc::proto::{self, update_view};
|
|
use settings::Settings;
|
|
use smallvec::SmallVec;
|
|
use std::{
|
|
borrow::Cow,
|
|
fmt::Write,
|
|
path::{Path, PathBuf},
|
|
time::Duration,
|
|
};
|
|
use text::{Point, Selection};
|
|
use util::TryFutureExt;
|
|
use workspace::{FollowableItem, Item, ItemHandle, ItemNavHistory, ProjectItem, StatusItemView};
|
|
|
|
pub const FORMAT_TIMEOUT: Duration = Duration::from_secs(2);
|
|
pub const MAX_TAB_TITLE_LEN: usize = 24;
|
|
|
|
impl FollowableItem for Editor {
|
|
fn from_state_proto(
|
|
pane: ViewHandle<workspace::Pane>,
|
|
project: ModelHandle<Project>,
|
|
state: &mut Option<proto::view::Variant>,
|
|
cx: &mut MutableAppContext,
|
|
) -> Option<Task<Result<ViewHandle<Self>>>> {
|
|
let state = if matches!(state, Some(proto::view::Variant::Editor(_))) {
|
|
if let Some(proto::view::Variant::Editor(state)) = state.take() {
|
|
state
|
|
} else {
|
|
unreachable!()
|
|
}
|
|
} else {
|
|
return None;
|
|
};
|
|
|
|
let buffer = project.update(cx, |project, cx| {
|
|
project.open_buffer_by_id(state.buffer_id, cx)
|
|
});
|
|
Some(cx.spawn(|mut cx| async move {
|
|
let buffer = buffer.await?;
|
|
let editor = pane
|
|
.read_with(&cx, |pane, cx| {
|
|
pane.items_of_type::<Self>().find(|editor| {
|
|
editor.read(cx).buffer.read(cx).as_singleton().as_ref() == Some(&buffer)
|
|
})
|
|
})
|
|
.unwrap_or_else(|| {
|
|
pane.update(&mut cx, |_, cx| {
|
|
cx.add_view(|cx| Editor::for_buffer(buffer, Some(project), cx))
|
|
})
|
|
});
|
|
editor.update(&mut cx, |editor, cx| {
|
|
let excerpt_id;
|
|
let buffer_id;
|
|
{
|
|
let buffer = editor.buffer.read(cx).read(cx);
|
|
let singleton = buffer.as_singleton().unwrap();
|
|
excerpt_id = singleton.0.clone();
|
|
buffer_id = singleton.1;
|
|
}
|
|
let selections = state
|
|
.selections
|
|
.into_iter()
|
|
.map(|selection| {
|
|
deserialize_selection(&excerpt_id, buffer_id, selection)
|
|
.ok_or_else(|| anyhow!("invalid selection"))
|
|
})
|
|
.collect::<Result<Vec<_>>>()?;
|
|
if !selections.is_empty() {
|
|
editor.set_selections_from_remote(selections, cx);
|
|
}
|
|
|
|
if let Some(anchor) = state.scroll_top_anchor {
|
|
editor.set_scroll_top_anchor(
|
|
Anchor {
|
|
buffer_id: Some(state.buffer_id as usize),
|
|
excerpt_id,
|
|
text_anchor: language::proto::deserialize_anchor(anchor)
|
|
.ok_or_else(|| anyhow!("invalid scroll top"))?,
|
|
},
|
|
vec2f(state.scroll_x, state.scroll_y),
|
|
cx,
|
|
);
|
|
}
|
|
|
|
Ok::<_, anyhow::Error>(())
|
|
})?;
|
|
Ok(editor)
|
|
}))
|
|
}
|
|
|
|
fn set_leader_replica_id(
|
|
&mut self,
|
|
leader_replica_id: Option<u16>,
|
|
cx: &mut ViewContext<Self>,
|
|
) {
|
|
self.leader_replica_id = leader_replica_id;
|
|
if self.leader_replica_id.is_some() {
|
|
self.buffer.update(cx, |buffer, cx| {
|
|
buffer.remove_active_selections(cx);
|
|
});
|
|
} else {
|
|
self.buffer.update(cx, |buffer, cx| {
|
|
if self.focused {
|
|
buffer.set_active_selections(
|
|
&self.selections.disjoint_anchors(),
|
|
self.selections.line_mode,
|
|
cx,
|
|
);
|
|
}
|
|
});
|
|
}
|
|
cx.notify();
|
|
}
|
|
|
|
fn to_state_proto(&self, cx: &AppContext) -> Option<proto::view::Variant> {
|
|
let buffer_id = self.buffer.read(cx).as_singleton()?.read(cx).remote_id();
|
|
Some(proto::view::Variant::Editor(proto::view::Editor {
|
|
buffer_id,
|
|
scroll_top_anchor: Some(language::proto::serialize_anchor(
|
|
&self.scroll_top_anchor.text_anchor,
|
|
)),
|
|
scroll_x: self.scroll_position.x(),
|
|
scroll_y: self.scroll_position.y(),
|
|
selections: self
|
|
.selections
|
|
.disjoint_anchors()
|
|
.iter()
|
|
.map(serialize_selection)
|
|
.collect(),
|
|
}))
|
|
}
|
|
|
|
fn add_event_to_update_proto(
|
|
&self,
|
|
event: &Self::Event,
|
|
update: &mut Option<proto::update_view::Variant>,
|
|
_: &AppContext,
|
|
) -> bool {
|
|
let update =
|
|
update.get_or_insert_with(|| proto::update_view::Variant::Editor(Default::default()));
|
|
|
|
match update {
|
|
proto::update_view::Variant::Editor(update) => match event {
|
|
Event::ScrollPositionChanged { .. } => {
|
|
update.scroll_top_anchor = Some(language::proto::serialize_anchor(
|
|
&self.scroll_top_anchor.text_anchor,
|
|
));
|
|
update.scroll_x = self.scroll_position.x();
|
|
update.scroll_y = self.scroll_position.y();
|
|
true
|
|
}
|
|
Event::SelectionsChanged { .. } => {
|
|
update.selections = self
|
|
.selections
|
|
.disjoint_anchors()
|
|
.iter()
|
|
.chain(self.selections.pending_anchor().as_ref())
|
|
.map(serialize_selection)
|
|
.collect();
|
|
true
|
|
}
|
|
_ => false,
|
|
},
|
|
}
|
|
}
|
|
|
|
fn apply_update_proto(
|
|
&mut self,
|
|
message: update_view::Variant,
|
|
cx: &mut ViewContext<Self>,
|
|
) -> Result<()> {
|
|
match message {
|
|
update_view::Variant::Editor(message) => {
|
|
let buffer = self.buffer.read(cx);
|
|
let buffer = buffer.read(cx);
|
|
let (excerpt_id, buffer_id, _) = buffer.as_singleton().unwrap();
|
|
let excerpt_id = excerpt_id.clone();
|
|
drop(buffer);
|
|
|
|
let selections = message
|
|
.selections
|
|
.into_iter()
|
|
.filter_map(|selection| {
|
|
deserialize_selection(&excerpt_id, buffer_id, selection)
|
|
})
|
|
.collect::<Vec<_>>();
|
|
|
|
if !selections.is_empty() {
|
|
self.set_selections_from_remote(selections, cx);
|
|
self.request_autoscroll_remotely(Autoscroll::Newest, cx);
|
|
} else if let Some(anchor) = message.scroll_top_anchor {
|
|
self.set_scroll_top_anchor(
|
|
Anchor {
|
|
buffer_id: Some(buffer_id),
|
|
excerpt_id,
|
|
text_anchor: language::proto::deserialize_anchor(anchor)
|
|
.ok_or_else(|| anyhow!("invalid scroll top"))?,
|
|
},
|
|
vec2f(message.scroll_x, message.scroll_y),
|
|
cx,
|
|
);
|
|
}
|
|
}
|
|
}
|
|
Ok(())
|
|
}
|
|
|
|
fn should_unfollow_on_event(event: &Self::Event, _: &AppContext) -> bool {
|
|
match event {
|
|
Event::Edited => true,
|
|
Event::SelectionsChanged { local } => *local,
|
|
Event::ScrollPositionChanged { local } => *local,
|
|
_ => false,
|
|
}
|
|
}
|
|
}
|
|
|
|
fn serialize_selection(selection: &Selection<Anchor>) -> proto::Selection {
|
|
proto::Selection {
|
|
id: selection.id as u64,
|
|
start: Some(language::proto::serialize_anchor(
|
|
&selection.start.text_anchor,
|
|
)),
|
|
end: Some(language::proto::serialize_anchor(
|
|
&selection.end.text_anchor,
|
|
)),
|
|
reversed: selection.reversed,
|
|
}
|
|
}
|
|
|
|
fn deserialize_selection(
|
|
excerpt_id: &ExcerptId,
|
|
buffer_id: usize,
|
|
selection: proto::Selection,
|
|
) -> Option<Selection<Anchor>> {
|
|
Some(Selection {
|
|
id: selection.id as usize,
|
|
start: Anchor {
|
|
buffer_id: Some(buffer_id),
|
|
excerpt_id: excerpt_id.clone(),
|
|
text_anchor: language::proto::deserialize_anchor(selection.start?)?,
|
|
},
|
|
end: Anchor {
|
|
buffer_id: Some(buffer_id),
|
|
excerpt_id: excerpt_id.clone(),
|
|
text_anchor: language::proto::deserialize_anchor(selection.end?)?,
|
|
},
|
|
reversed: selection.reversed,
|
|
goal: SelectionGoal::None,
|
|
})
|
|
}
|
|
|
|
impl Item for Editor {
|
|
fn navigate(&mut self, data: Box<dyn std::any::Any>, cx: &mut ViewContext<Self>) -> bool {
|
|
if let Ok(data) = data.downcast::<NavigationData>() {
|
|
let newest_selection = self.selections.newest::<Point>(cx);
|
|
let buffer = self.buffer.read(cx).read(cx);
|
|
let offset = if buffer.can_resolve(&data.cursor_anchor) {
|
|
data.cursor_anchor.to_point(&buffer)
|
|
} else {
|
|
buffer.clip_point(data.cursor_position, Bias::Left)
|
|
};
|
|
|
|
let scroll_top_anchor = if buffer.can_resolve(&data.scroll_top_anchor) {
|
|
data.scroll_top_anchor
|
|
} else {
|
|
buffer.anchor_before(
|
|
buffer.clip_point(Point::new(data.scroll_top_row, 0), Bias::Left),
|
|
)
|
|
};
|
|
|
|
drop(buffer);
|
|
|
|
if newest_selection.head() == offset {
|
|
false
|
|
} else {
|
|
let nav_history = self.nav_history.take();
|
|
self.scroll_position = data.scroll_position;
|
|
self.scroll_top_anchor = scroll_top_anchor;
|
|
self.change_selections(Some(Autoscroll::Fit), cx, |s| {
|
|
s.select_ranges([offset..offset])
|
|
});
|
|
self.nav_history = nav_history;
|
|
true
|
|
}
|
|
} else {
|
|
false
|
|
}
|
|
}
|
|
|
|
fn tab_description<'a>(&'a self, detail: usize, cx: &'a AppContext) -> Option<Cow<'a, str>> {
|
|
match path_for_buffer(&self.buffer, detail, true, cx)? {
|
|
Cow::Borrowed(path) => Some(path.to_string_lossy()),
|
|
Cow::Owned(path) => Some(path.to_string_lossy().to_string().into()),
|
|
}
|
|
}
|
|
|
|
fn tab_content(
|
|
&self,
|
|
detail: Option<usize>,
|
|
style: &theme::Tab,
|
|
cx: &AppContext,
|
|
) -> ElementBox {
|
|
Flex::row()
|
|
.with_child(
|
|
Label::new(self.title(cx).into(), style.label.clone())
|
|
.aligned()
|
|
.boxed(),
|
|
)
|
|
.with_children(detail.and_then(|detail| {
|
|
let path = path_for_buffer(&self.buffer, detail, false, cx)?;
|
|
let description = path.to_string_lossy();
|
|
Some(
|
|
Label::new(
|
|
if description.len() > MAX_TAB_TITLE_LEN {
|
|
description[..MAX_TAB_TITLE_LEN].to_string() + "…"
|
|
} else {
|
|
description.into()
|
|
},
|
|
style.description.text.clone(),
|
|
)
|
|
.contained()
|
|
.with_style(style.description.container)
|
|
.aligned()
|
|
.boxed(),
|
|
)
|
|
}))
|
|
.boxed()
|
|
}
|
|
|
|
fn project_path(&self, cx: &AppContext) -> Option<ProjectPath> {
|
|
let buffer = self.buffer.read(cx).as_singleton()?;
|
|
let file = buffer.read(cx).file();
|
|
File::from_dyn(file).map(|file| ProjectPath {
|
|
worktree_id: file.worktree_id(cx),
|
|
path: file.path().clone(),
|
|
})
|
|
}
|
|
|
|
fn project_entry_ids(&self, cx: &AppContext) -> SmallVec<[ProjectEntryId; 3]> {
|
|
self.buffer
|
|
.read(cx)
|
|
.files(cx)
|
|
.into_iter()
|
|
.filter_map(|file| File::from_dyn(Some(file))?.project_entry_id(cx))
|
|
.collect()
|
|
}
|
|
|
|
fn is_singleton(&self, cx: &AppContext) -> bool {
|
|
self.buffer.read(cx).is_singleton()
|
|
}
|
|
|
|
fn clone_on_split(&self, cx: &mut ViewContext<Self>) -> Option<Self>
|
|
where
|
|
Self: Sized,
|
|
{
|
|
Some(self.clone(cx))
|
|
}
|
|
|
|
fn set_nav_history(&mut self, history: ItemNavHistory, _: &mut ViewContext<Self>) {
|
|
self.nav_history = Some(history);
|
|
}
|
|
|
|
fn deactivated(&mut self, cx: &mut ViewContext<Self>) {
|
|
let selection = self.selections.newest_anchor();
|
|
self.push_to_nav_history(selection.head(), None, cx);
|
|
}
|
|
|
|
fn is_dirty(&self, cx: &AppContext) -> bool {
|
|
self.buffer().read(cx).read(cx).is_dirty()
|
|
}
|
|
|
|
fn has_conflict(&self, cx: &AppContext) -> bool {
|
|
self.buffer().read(cx).read(cx).has_conflict()
|
|
}
|
|
|
|
fn can_save(&self, cx: &AppContext) -> bool {
|
|
!self.buffer().read(cx).is_singleton() || self.project_path(cx).is_some()
|
|
}
|
|
|
|
fn save(
|
|
&mut self,
|
|
project: ModelHandle<Project>,
|
|
cx: &mut ViewContext<Self>,
|
|
) -> Task<Result<()>> {
|
|
let buffer = self.buffer().clone();
|
|
let buffers = buffer.read(cx).all_buffers();
|
|
let mut timeout = cx.background().timer(FORMAT_TIMEOUT).fuse();
|
|
let format = project.update(cx, |project, cx| project.format(buffers, true, cx));
|
|
cx.spawn(|this, mut cx| async move {
|
|
let transaction = futures::select_biased! {
|
|
_ = timeout => {
|
|
log::warn!("timed out waiting for formatting");
|
|
None
|
|
}
|
|
transaction = format.log_err().fuse() => transaction,
|
|
};
|
|
|
|
this.update(&mut cx, |editor, cx| {
|
|
editor.request_autoscroll(Autoscroll::Fit, cx)
|
|
});
|
|
buffer
|
|
.update(&mut cx, |buffer, cx| {
|
|
if let Some(transaction) = transaction {
|
|
if !buffer.is_singleton() {
|
|
buffer.push_transaction(&transaction.0);
|
|
}
|
|
}
|
|
|
|
buffer.save(cx)
|
|
})
|
|
.await?;
|
|
Ok(())
|
|
})
|
|
}
|
|
|
|
fn save_as(
|
|
&mut self,
|
|
project: ModelHandle<Project>,
|
|
abs_path: PathBuf,
|
|
cx: &mut ViewContext<Self>,
|
|
) -> Task<Result<()>> {
|
|
let buffer = self
|
|
.buffer()
|
|
.read(cx)
|
|
.as_singleton()
|
|
.expect("cannot call save_as on an excerpt list");
|
|
|
|
project.update(cx, |project, cx| {
|
|
project.save_buffer_as(buffer, abs_path, cx)
|
|
})
|
|
}
|
|
|
|
fn reload(
|
|
&mut self,
|
|
project: ModelHandle<Project>,
|
|
cx: &mut ViewContext<Self>,
|
|
) -> Task<Result<()>> {
|
|
let buffer = self.buffer().clone();
|
|
let buffers = self.buffer.read(cx).all_buffers();
|
|
let reload_buffers =
|
|
project.update(cx, |project, cx| project.reload_buffers(buffers, true, cx));
|
|
cx.spawn(|this, mut cx| async move {
|
|
let transaction = reload_buffers.log_err().await;
|
|
this.update(&mut cx, |editor, cx| {
|
|
editor.request_autoscroll(Autoscroll::Fit, cx)
|
|
});
|
|
buffer.update(&mut cx, |buffer, _| {
|
|
if let Some(transaction) = transaction {
|
|
if !buffer.is_singleton() {
|
|
buffer.push_transaction(&transaction.0);
|
|
}
|
|
}
|
|
});
|
|
Ok(())
|
|
})
|
|
}
|
|
|
|
fn should_close_item_on_event(event: &Event) -> bool {
|
|
matches!(event, Event::Closed)
|
|
}
|
|
|
|
fn should_update_tab_on_event(event: &Event) -> bool {
|
|
matches!(
|
|
event,
|
|
Event::Saved | Event::DirtyChanged | Event::TitleChanged
|
|
)
|
|
}
|
|
|
|
fn is_edit_event(event: &Self::Event) -> bool {
|
|
matches!(event, Event::BufferEdited)
|
|
}
|
|
}
|
|
|
|
impl ProjectItem for Editor {
|
|
type Item = Buffer;
|
|
|
|
fn for_project_item(
|
|
project: ModelHandle<Project>,
|
|
buffer: ModelHandle<Buffer>,
|
|
cx: &mut ViewContext<Self>,
|
|
) -> Self {
|
|
Self::for_buffer(buffer, Some(project), cx)
|
|
}
|
|
}
|
|
|
|
pub struct CursorPosition {
|
|
position: Option<Point>,
|
|
selected_count: usize,
|
|
_observe_active_editor: Option<Subscription>,
|
|
}
|
|
|
|
impl Default for CursorPosition {
|
|
fn default() -> Self {
|
|
Self::new()
|
|
}
|
|
}
|
|
|
|
impl CursorPosition {
|
|
pub fn new() -> Self {
|
|
Self {
|
|
position: None,
|
|
selected_count: 0,
|
|
_observe_active_editor: None,
|
|
}
|
|
}
|
|
|
|
fn update_position(&mut self, editor: ViewHandle<Editor>, cx: &mut ViewContext<Self>) {
|
|
let editor = editor.read(cx);
|
|
let buffer = editor.buffer().read(cx).snapshot(cx);
|
|
|
|
self.selected_count = 0;
|
|
let mut last_selection: Option<Selection<usize>> = None;
|
|
for selection in editor.selections.all::<usize>(cx) {
|
|
self.selected_count += selection.end - selection.start;
|
|
if last_selection
|
|
.as_ref()
|
|
.map_or(true, |last_selection| selection.id > last_selection.id)
|
|
{
|
|
last_selection = Some(selection);
|
|
}
|
|
}
|
|
self.position = last_selection.map(|s| s.head().to_point(&buffer));
|
|
|
|
cx.notify();
|
|
}
|
|
}
|
|
|
|
impl Entity for CursorPosition {
|
|
type Event = ();
|
|
}
|
|
|
|
impl View for CursorPosition {
|
|
fn ui_name() -> &'static str {
|
|
"CursorPosition"
|
|
}
|
|
|
|
fn render(&mut self, cx: &mut RenderContext<Self>) -> ElementBox {
|
|
if let Some(position) = self.position {
|
|
let theme = &cx.global::<Settings>().theme.workspace.status_bar;
|
|
let mut text = format!("{},{}", position.row + 1, position.column + 1);
|
|
if self.selected_count > 0 {
|
|
write!(text, " ({} selected)", self.selected_count).unwrap();
|
|
}
|
|
Label::new(text, theme.cursor_position.clone()).boxed()
|
|
} else {
|
|
Empty::new().boxed()
|
|
}
|
|
}
|
|
}
|
|
|
|
impl StatusItemView for CursorPosition {
|
|
fn set_active_pane_item(
|
|
&mut self,
|
|
active_pane_item: Option<&dyn ItemHandle>,
|
|
cx: &mut ViewContext<Self>,
|
|
) {
|
|
if let Some(editor) = active_pane_item.and_then(|item| item.downcast::<Editor>()) {
|
|
self._observe_active_editor = Some(cx.observe(&editor, Self::update_position));
|
|
self.update_position(editor, cx);
|
|
} else {
|
|
self.position = None;
|
|
self._observe_active_editor = None;
|
|
}
|
|
|
|
cx.notify();
|
|
}
|
|
}
|
|
|
|
fn path_for_buffer<'a>(
|
|
buffer: &ModelHandle<MultiBuffer>,
|
|
mut height: usize,
|
|
include_filename: bool,
|
|
cx: &'a AppContext,
|
|
) -> Option<Cow<'a, Path>> {
|
|
let file = buffer.read(cx).as_singleton()?.read(cx).file()?;
|
|
// Ensure we always render at least the filename.
|
|
height += 1;
|
|
|
|
let mut prefix = file.path().as_ref();
|
|
while height > 0 {
|
|
if let Some(parent) = prefix.parent() {
|
|
prefix = parent;
|
|
height -= 1;
|
|
} else {
|
|
break;
|
|
}
|
|
}
|
|
|
|
// Here we could have just always used `full_path`, but that is very
|
|
// allocation-heavy and so we try to use a `Cow<Path>` if we haven't
|
|
// traversed all the way up to the worktree's root.
|
|
if height > 0 {
|
|
let full_path = file.full_path(cx);
|
|
if include_filename {
|
|
Some(full_path.into())
|
|
} else {
|
|
Some(full_path.parent().unwrap().to_path_buf().into())
|
|
}
|
|
} else {
|
|
let mut path = file.path().strip_prefix(prefix).unwrap();
|
|
if !include_filename {
|
|
path = path.parent().unwrap();
|
|
}
|
|
Some(path.into())
|
|
}
|
|
}
|