|
|
@ -1,5 +1,6 @@
|
|
|
|
use crate::{
|
|
|
|
use crate::{
|
|
|
|
clipboard::{get_clipboard_provider, ClipboardProvider},
|
|
|
|
clipboard::{get_clipboard_provider, ClipboardProvider},
|
|
|
|
|
|
|
|
document::SCRATCH_BUFFER_NAME,
|
|
|
|
graphics::{CursorKind, Rect},
|
|
|
|
graphics::{CursorKind, Rect},
|
|
|
|
theme::{self, Theme},
|
|
|
|
theme::{self, Theme},
|
|
|
|
tree::{self, Tree},
|
|
|
|
tree::{self, Tree},
|
|
|
@ -427,7 +428,7 @@ impl Editor {
|
|
|
|
"buffer {:?} is modified",
|
|
|
|
"buffer {:?} is modified",
|
|
|
|
doc.relative_path()
|
|
|
|
doc.relative_path()
|
|
|
|
.map(|path| path.to_string_lossy().to_string())
|
|
|
|
.map(|path| path.to_string_lossy().to_string())
|
|
|
|
.unwrap_or_else(|| "[scratch]".into())
|
|
|
|
.unwrap_or_else(|| SCRATCH_BUFFER_NAME.into())
|
|
|
|
);
|
|
|
|
);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|