doc: Be smarter about calculating modified status.

This way edit -> undo will properly show up as unmodified.
pull/11/head
Blaž Hrastnik 4 years ago
parent 594575ba3f
commit 28c167d71d

@ -55,6 +55,11 @@ impl History {
self.cursor = new_cursor; self.cursor = new_cursor;
} }
#[inline]
pub fn current_revision(&self) -> usize {
self.cursor
}
#[inline] #[inline]
pub const fn at_root(&self) -> bool { pub const fn at_root(&self) -> bool {
self.cursor == 0 self.cursor == 0

@ -440,7 +440,7 @@ impl EditorView {
if let Some(path) = doc.relative_path() { if let Some(path) = doc.relative_path() {
let path = path.to_string_lossy(); let path = path.to_string_lossy();
let title = format!("{}{}", path, if doc.modified() { "[+]" } else { "" }); let title = format!("{}{}", path, if doc.is_modified() { "[+]" } else { "" });
surface.set_stringn( surface.set_stringn(
viewport.x + 6, viewport.x + 6,
viewport.y, viewport.y,

@ -35,13 +35,13 @@ pub struct Document {
// /// Corresponding language scope name. Usually `source.<lang>`. // /// Corresponding language scope name. Usually `source.<lang>`.
pub(crate) language: Option<Arc<LanguageConfiguration>>, pub(crate) language: Option<Arc<LanguageConfiguration>>,
modified: bool,
/// Pending changes since last history commit. /// Pending changes since last history commit.
changes: ChangeSet, changes: ChangeSet,
/// State at last commit. Used for calculating reverts. /// State at last commit. Used for calculating reverts.
old_state: Option<State>, old_state: Option<State>,
/// Undo tree. /// Undo tree.
history: History, history: History,
last_saved_revision: usize,
version: i32, // should be usize? version: i32, // should be usize?
pub diagnostics: Vec<Diagnostic>, pub diagnostics: Vec<Diagnostic>,
@ -81,12 +81,12 @@ impl Document {
restore_cursor: false, restore_cursor: false,
syntax: None, syntax: None,
language: None, language: None,
modified: false,
changes, changes,
old_state, old_state,
diagnostics: Vec::new(), diagnostics: Vec::new(),
version: 0, version: 0,
history: History::default(), history: History::default(),
last_saved_revision: 0,
language_server: None, language_server: None,
} }
} }
@ -131,7 +131,7 @@ impl Document {
let language_server = self.language_server.clone(); let language_server = self.language_server.clone();
// reset the modified flag // reset the modified flag
self.modified = false; self.last_saved_revision = self.history.current_revision();
async move { async move {
use smol::{fs::File, prelude::*}; use smol::{fs::File, prelude::*};
@ -246,10 +246,6 @@ impl Document {
let success = self._apply(transaction, view_id); let success = self._apply(transaction, view_id);
self.modified = true;
// TODO: be smarter about modified by keeping track of saved version instead. That way if
// current version == version then it's not modified.
if !transaction.changes().is_empty() { if !transaction.changes().is_empty() {
// Compose this transaction with the previous one // Compose this transaction with the previous one
take_with(&mut self.changes, |changes| { take_with(&mut self.changes, |changes| {
@ -307,8 +303,10 @@ impl Document {
} }
#[inline] #[inline]
pub fn modified(&self) -> bool { pub fn is_modified(&self) -> bool {
self.modified self.path.is_some()
&& (self.history.current_revision() != self.last_saved_revision
|| !self.changes.is_empty())
} }
#[inline] #[inline]

Loading…
Cancel
Save