|
|
@ -592,8 +592,9 @@ impl EditorView {
|
|
|
|
Vec::new()
|
|
|
|
Vec::new()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/// Render bufferline at the top
|
|
|
|
/// Render bufferline at the top. Returns height of the bufferline so
|
|
|
|
pub fn render_bufferline(editor: &Editor, viewport: Rect, surface: &mut Surface) {
|
|
|
|
/// that the editor area can be clipped accordingly.
|
|
|
|
|
|
|
|
pub fn render_bufferline(editor: &Editor, viewport: Rect, surface: &mut Surface) -> u16 {
|
|
|
|
let scratch = PathBuf::from(SCRATCH_BUFFER_NAME); // default filename to use for scratch buffer
|
|
|
|
let scratch = PathBuf::from(SCRATCH_BUFFER_NAME); // default filename to use for scratch buffer
|
|
|
|
surface.clear_with(
|
|
|
|
surface.clear_with(
|
|
|
|
viewport,
|
|
|
|
viewport,
|
|
|
@ -616,6 +617,8 @@ impl EditorView {
|
|
|
|
let mut x = viewport.x;
|
|
|
|
let mut x = viewport.x;
|
|
|
|
let current_doc = view!(editor).doc;
|
|
|
|
let current_doc = view!(editor).doc;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
let mut y = viewport.y;
|
|
|
|
|
|
|
|
|
|
|
|
for doc in editor.documents() {
|
|
|
|
for doc in editor.documents() {
|
|
|
|
let fname = doc
|
|
|
|
let fname = doc
|
|
|
|
.path()
|
|
|
|
.path()
|
|
|
@ -635,14 +638,14 @@ impl EditorView {
|
|
|
|
let used_width = viewport.x.saturating_sub(x);
|
|
|
|
let used_width = viewport.x.saturating_sub(x);
|
|
|
|
let rem_width = surface.area.width.saturating_sub(used_width);
|
|
|
|
let rem_width = surface.area.width.saturating_sub(used_width);
|
|
|
|
|
|
|
|
|
|
|
|
x = surface
|
|
|
|
if x + text.len() as u16 >= surface.area.right() {
|
|
|
|
.set_stringn(x, viewport.y, text, rem_width as usize, style)
|
|
|
|
x = 0;
|
|
|
|
.0;
|
|
|
|
y = y + 1;
|
|
|
|
|
|
|
|
|
|
|
|
if x >= surface.area.right() {
|
|
|
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x = surface.set_stringn(x, y, text, rem_width as usize, style).0;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
y + 1
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
pub fn render_gutter<'d>(
|
|
|
|
pub fn render_gutter<'d>(
|
|
|
@ -1487,19 +1490,20 @@ impl Component for EditorView {
|
|
|
|
_ => false,
|
|
|
|
_ => false,
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
// -1 for commandline and -1 for bufferline
|
|
|
|
// -1 for commandline
|
|
|
|
let mut editor_area = area.clip_bottom(1);
|
|
|
|
let mut editor_area = area.clip_bottom(1);
|
|
|
|
if use_bufferline {
|
|
|
|
if use_bufferline {
|
|
|
|
editor_area = editor_area.clip_top(1);
|
|
|
|
// -1 or more for the bufferline
|
|
|
|
|
|
|
|
editor_area = editor_area.clip_top(Self::render_bufferline(
|
|
|
|
|
|
|
|
cx.editor,
|
|
|
|
|
|
|
|
area.with_height(1),
|
|
|
|
|
|
|
|
surface,
|
|
|
|
|
|
|
|
));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
// if the terminal size suddenly changed, we need to trigger a resize
|
|
|
|
// if the terminal size suddenly changed, we need to trigger a resize
|
|
|
|
cx.editor.resize(editor_area);
|
|
|
|
cx.editor.resize(editor_area);
|
|
|
|
|
|
|
|
|
|
|
|
if use_bufferline {
|
|
|
|
|
|
|
|
Self::render_bufferline(cx.editor, area.with_height(1), surface);
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
for (view, is_focused) in cx.editor.tree.views() {
|
|
|
|
for (view, is_focused) in cx.editor.tree.views() {
|
|
|
|
let doc = cx.editor.document(view.doc).unwrap();
|
|
|
|
let doc = cx.editor.document(view.doc).unwrap();
|
|
|
|
self.render_view(cx.editor, doc, view, area, surface, is_focused);
|
|
|
|
self.render_view(cx.editor, doc, view, area, surface, is_focused);
|
|
|
|