helix-mirror/helix-view/src/commands.rs

622 lines
19 KiB
Rust
Raw Normal View History

use helix_core::{
graphemes,
2020-10-14 07:01:41 +04:00
indent::TAB_WIDTH,
regex::Regex,
2020-10-06 11:00:23 +04:00
register, selection,
state::{Direction, Granularity, Mode, State},
2020-10-06 09:44:18 +04:00
ChangeSet, Range, Selection, Tendril, Transaction,
};
use once_cell::sync::Lazy;
2020-10-14 07:03:10 +04:00
use crate::view::{View, PADDING};
2020-06-07 19:15:39 +04:00
/// A command is a function that takes the current state and a count, and does a side-effect on the
/// state (usually by creating and applying a transaction).
pub type Command = fn(view: &mut View, count: usize);
2020-06-07 19:15:39 +04:00
pub fn move_char_left(view: &mut View, count: usize) {
2020-06-07 19:15:39 +04:00
// TODO: use a transaction
let selection = view
.state
.move_selection(Direction::Backward, Granularity::Character, count);
view.state.selection = selection;
2020-06-07 19:15:39 +04:00
}
pub fn move_char_right(view: &mut View, count: usize) {
2020-06-07 19:15:39 +04:00
// TODO: use a transaction
view.state.selection =
view.state
.move_selection(Direction::Forward, Granularity::Character, count);
2020-06-07 19:15:39 +04:00
}
pub fn move_line_up(view: &mut View, count: usize) {
2020-06-07 19:15:39 +04:00
// TODO: use a transaction
view.state.selection = view
.state
.move_selection(Direction::Backward, Granularity::Line, count);
2020-06-07 19:15:39 +04:00
}
pub fn move_line_down(view: &mut View, count: usize) {
2020-06-07 19:15:39 +04:00
// TODO: use a transaction
view.state.selection = view
.state
.move_selection(Direction::Forward, Granularity::Line, count);
2020-06-07 19:15:39 +04:00
}
2020-09-05 17:01:05 +04:00
2020-09-29 13:02:27 +04:00
pub fn move_line_end(view: &mut View, _count: usize) {
// TODO: use a transaction
let lines = selection_lines(&view.state);
let positions = lines
.into_iter()
.map(|index| {
// adjust all positions to the end of the line.
2020-09-29 12:49:19 +04:00
// Line end is pos at the start of next line - 1
// subtract another 1 because the line ends with \n
view.state.doc.line_to_char(index + 1).saturating_sub(2)
})
.map(|pos| Range::new(pos, pos));
let selection = Selection::new(positions.collect(), 0);
let transaction = Transaction::new(&mut view.state).with_selection(selection);
transaction.apply(&mut view.state);
}
2020-09-29 13:02:27 +04:00
pub fn move_line_start(view: &mut View, _count: usize) {
let lines = selection_lines(&view.state);
let positions = lines
.into_iter()
.map(|index| {
// adjust all positions to the start of the line.
view.state.doc.line_to_char(index)
})
.map(|pos| Range::new(pos, pos));
let selection = Selection::new(positions.collect(), 0);
let transaction = Transaction::new(&mut view.state).with_selection(selection);
transaction.apply(&mut view.state);
}
2020-09-24 14:16:35 +04:00
pub fn move_next_word_start(view: &mut View, count: usize) {
let pos = view.state.move_pos(
view.state.selection.cursor(),
Direction::Forward,
Granularity::Word,
count,
);
// TODO: use a transaction
view.state.selection = Selection::single(pos, pos);
}
pub fn move_prev_word_start(view: &mut View, count: usize) {
let pos = view.state.move_pos(
view.state.selection.cursor(),
Direction::Backward,
Granularity::Word,
count,
);
// TODO: use a transaction
view.state.selection = Selection::single(pos, pos);
}
pub fn move_next_word_end(view: &mut View, count: usize) {
let pos = State::move_next_word_end(
&view.state.doc().slice(..),
view.state.selection.cursor(),
count,
);
// TODO: use a transaction
view.state.selection = Selection::single(pos, pos);
}
2020-10-05 17:37:33 +04:00
pub fn move_file_start(view: &mut View, _count: usize) {
2020-10-05 01:47:37 +04:00
// TODO: use a transaction
2020-10-05 17:37:33 +04:00
view.state.selection = Selection::single(0, 0);
2020-10-05 01:47:37 +04:00
view.state.mode = Mode::Normal;
}
2020-10-05 17:37:33 +04:00
pub fn move_file_end(view: &mut View, _count: usize) {
2020-10-05 01:47:37 +04:00
// TODO: use a transaction
2020-10-05 17:37:33 +04:00
let text = &view.state.doc;
2020-10-07 03:41:09 +04:00
let last_line = text.line_to_char(text.len_lines().saturating_sub(2));
2020-10-05 17:37:33 +04:00
view.state.selection = Selection::single(last_line, last_line);
2020-10-05 01:47:37 +04:00
view.state.mode = Mode::Normal;
}
2020-10-05 19:58:16 +04:00
pub fn check_cursor_in_view(view: &mut View) -> bool {
let cursor = view.state.selection().cursor();
2020-10-06 12:32:30 +04:00
let line = view.state.doc().char_to_line(cursor);
let document_end = view.first_line + view.size.1.saturating_sub(1) as usize;
2020-10-05 19:58:16 +04:00
2020-10-07 08:58:13 +04:00
if (line > document_end.saturating_sub(PADDING)) | (line < view.first_line + PADDING) {
2020-10-05 19:58:16 +04:00
return false;
}
true
}
2020-10-05 19:18:29 +04:00
pub fn page_up(view: &mut View, _count: usize) {
if view.first_line < PADDING {
return;
}
2020-10-06 12:32:30 +04:00
view.first_line = view.first_line.saturating_sub(view.size.1 as usize);
2020-10-05 19:58:16 +04:00
2020-10-07 08:58:13 +04:00
if !check_cursor_in_view(view) {
2020-10-06 12:32:30 +04:00
let text = view.state.doc();
let pos = text.line_to_char(view.last_line().saturating_sub(PADDING));
2020-10-07 08:58:13 +04:00
view.state.selection = Selection::single(pos, pos);
}
2020-10-05 19:18:29 +04:00
}
pub fn page_down(view: &mut View, _count: usize) {
2020-10-06 12:32:30 +04:00
view.first_line += view.size.1 as usize + PADDING;
if view.first_line < view.state.doc().len_lines() {
let text = view.state.doc();
2020-10-07 03:41:09 +04:00
let pos = text.line_to_char(view.first_line as usize);
view.state.selection = Selection::single(pos, pos);
}
2020-10-05 19:18:29 +04:00
}
pub fn half_page_up(view: &mut View, _count: usize) {
if view.first_line < PADDING {
return;
}
2020-10-06 12:32:30 +04:00
view.first_line = view.first_line.saturating_sub(view.size.1 as usize / 2);
2020-10-05 19:58:16 +04:00
if !check_cursor_in_view(view) {
let text = &view.state.doc;
let pos = text.line_to_char(view.last_line() - PADDING);
2020-10-07 03:41:09 +04:00
view.state.selection = Selection::single(pos, pos);
2020-10-05 19:58:16 +04:00
}
2020-10-05 19:18:29 +04:00
}
pub fn half_page_down(view: &mut View, _count: usize) {
2020-10-07 08:58:13 +04:00
let lines = view.state.doc().len_lines();
2020-10-06 12:32:30 +04:00
if view.first_line < lines.saturating_sub(view.size.1 as usize) {
view.first_line += view.size.1 as usize / 2;
2020-10-07 03:41:09 +04:00
}
2020-10-05 19:58:16 +04:00
if !check_cursor_in_view(view) {
2020-10-06 12:32:30 +04:00
let text = view.state.doc();
2020-10-07 03:41:09 +04:00
let pos = text.line_to_char(view.first_line as usize);
view.state.selection = Selection::single(pos, pos);
2020-10-05 19:58:16 +04:00
}
2020-10-05 19:18:29 +04:00
}
2020-09-07 12:08:28 +04:00
// avoid select by default by having a visual mode switch that makes movements into selects
2020-09-28 20:00:35 +04:00
pub fn extend_char_left(view: &mut View, count: usize) {
// TODO: use a transaction
let selection = view
.state
.extend_selection(Direction::Backward, Granularity::Character, count);
view.state.selection = selection;
}
pub fn extend_char_right(view: &mut View, count: usize) {
// TODO: use a transaction
view.state.selection =
view.state
.extend_selection(Direction::Forward, Granularity::Character, count);
}
pub fn extend_line_up(view: &mut View, count: usize) {
// TODO: use a transaction
view.state.selection =
view.state
.extend_selection(Direction::Backward, Granularity::Line, count);
}
pub fn extend_line_down(view: &mut View, count: usize) {
// TODO: use a transaction
view.state.selection =
view.state
.extend_selection(Direction::Forward, Granularity::Line, count);
}
pub fn split_selection_on_newline(view: &mut View, _count: usize) {
let text = &view.state.doc.slice(..);
// only compile the regex once
#[allow(clippy::trivial_regex)]
static REGEX: Lazy<Regex> = Lazy::new(|| Regex::new(r"\n").unwrap());
// TODO: use a transaction
view.state.selection = selection::split_on_matches(text, view.state.selection(), &REGEX)
}
2020-10-07 13:31:04 +04:00
pub fn select_line(view: &mut View, _count: usize) {
// TODO: count
let pos = view.state.selection().primary();
let text = view.state.doc();
let line = text.char_to_line(pos.head);
let start = text.line_to_char(line);
2020-10-09 11:58:43 +04:00
let end = text.line_to_char(line + 1).saturating_sub(1);
2020-10-07 13:31:04 +04:00
// TODO: use a transaction
view.state.selection = Selection::single(start, end);
}
2020-09-28 20:00:35 +04:00
pub fn delete_selection(view: &mut View, _count: usize) {
let transaction =
2020-10-09 11:58:43 +04:00
Transaction::change_by_selection(&view.state, |range| (range.from(), range.to() + 1, None));
2020-09-28 20:00:35 +04:00
transaction.apply(&mut view.state);
2020-10-07 13:31:16 +04:00
append_changes_to_history(view);
2020-09-28 20:00:35 +04:00
}
pub fn change_selection(view: &mut View, count: usize) {
delete_selection(view, count);
insert_mode(view, count);
}
2020-10-01 13:44:46 +04:00
pub fn collapse_selection(view: &mut View, _count: usize) {
view.state.selection = view
.state
.selection
.transform(|range| Range::new(range.head, range.head))
}
2020-10-09 11:58:43 +04:00
pub fn flip_selections(view: &mut View, _count: usize) {
view.state.selection = view
.state
.selection
.transform(|range| Range::new(range.head, range.anchor))
}
2020-10-06 09:44:18 +04:00
fn enter_insert_mode(view: &mut View) {
view.state.mode = Mode::Insert;
2020-09-07 12:08:28 +04:00
2020-10-07 13:31:16 +04:00
append_changes_to_history(view);
2020-10-06 09:44:18 +04:00
}
2020-09-07 12:08:28 +04:00
// inserts at the start of each selection
pub fn insert_mode(view: &mut View, _count: usize) {
2020-10-06 09:44:18 +04:00
enter_insert_mode(view);
2020-09-07 12:08:28 +04:00
view.state.selection = view
.state
2020-09-07 12:08:28 +04:00
.selection
.transform(|range| Range::new(range.to(), range.from()))
}
// inserts at the end of each selection
pub fn append_mode(view: &mut View, _count: usize) {
2020-10-06 09:44:18 +04:00
enter_insert_mode(view);
view.state.restore_cursor = true;
2020-09-07 12:08:28 +04:00
// TODO: as transaction
let text = &view.state.doc.slice(..);
view.state.selection = view.state.selection.transform(|range| {
2020-09-07 12:08:28 +04:00
// TODO: to() + next char
Range::new(
range.from(),
graphemes::next_grapheme_boundary(text, range.to()),
)
2020-09-07 12:08:28 +04:00
})
2020-09-05 17:01:05 +04:00
}
2020-09-13 15:04:16 +04:00
// TODO: I, A, o and O can share a lot of the primitives.
2020-09-13 18:38:54 +04:00
// calculate line numbers for each selection range
2020-09-13 15:11:29 +04:00
fn selection_lines(state: &State) -> Vec<usize> {
2020-09-13 15:04:16 +04:00
let mut lines = state
.selection
.ranges()
.iter()
.map(|range| state.doc.char_to_line(range.head))
.collect::<Vec<_>>();
2020-09-29 13:02:27 +04:00
lines.sort_unstable(); // sorting by usize so _unstable is preferred
2020-09-13 15:04:16 +04:00
lines.dedup();
2020-09-13 15:11:29 +04:00
lines
}
// I inserts at the start of each line with a selection
2020-09-29 13:02:27 +04:00
pub fn prepend_to_line(view: &mut View, count: usize) {
2020-10-06 09:44:18 +04:00
enter_insert_mode(view);
2020-09-13 15:11:29 +04:00
2020-09-29 13:02:27 +04:00
move_line_start(view, count);
2020-09-13 15:04:16 +04:00
}
2020-09-07 12:08:28 +04:00
// A inserts at the end of each line with a selection
2020-09-29 13:02:27 +04:00
pub fn append_to_line(view: &mut View, count: usize) {
2020-10-06 09:44:18 +04:00
enter_insert_mode(view);
2020-09-13 15:04:16 +04:00
2020-09-29 13:02:27 +04:00
move_line_end(view, count);
2020-09-13 15:04:16 +04:00
}
2020-09-13 14:51:42 +04:00
// o inserts a new line after each line with a selection
pub fn open_below(view: &mut View, _count: usize) {
2020-10-06 09:44:18 +04:00
enter_insert_mode(view);
2020-09-13 14:51:42 +04:00
let lines = selection_lines(&view.state);
2020-09-13 14:51:42 +04:00
let positions: Vec<_> = lines
.into_iter()
.map(|index| {
2020-09-29 12:49:19 +04:00
// adjust all positions to the end of the line/start of the next one.
view.state.doc.line_to_char(index + 1)
2020-09-13 14:51:42 +04:00
})
.collect();
let changes = positions.iter().copied().map(|index|
// generate changes
(index, index, Some(Tendril::from_char('\n'))));
// TODO: count actually inserts "n" new lines and starts editing on all of them.
// TODO: append "count" newlines and modify cursors to those lines
let selection = Selection::new(
positions
.iter()
.copied()
.map(|pos| Range::new(pos, pos))
.collect(),
0,
);
let transaction = Transaction::change(&view.state, changes).with_selection(selection);
2020-09-13 14:51:42 +04:00
transaction.apply(&mut view.state);
2020-09-13 14:51:42 +04:00
}
// O inserts a new line before each line with a selection
2020-09-07 12:08:28 +04:00
2020-10-07 13:31:16 +04:00
fn append_changes_to_history(view: &mut View) {
2020-10-07 17:22:50 +04:00
if view.state.changes.is_empty() {
return;
2020-10-06 09:44:18 +04:00
}
2020-10-07 17:22:50 +04:00
let new_changeset = ChangeSet::new(view.state.doc());
let changes = std::mem::replace(&mut view.state.changes, new_changeset);
// Instead of doing this messy merge we could always commit, and based on transaction
// annotations either add a new layer or compose into the previous one.
let transaction = Transaction::from(changes).with_selection(view.state.selection().clone());
// HAXX: we need to reconstruct the state as it was before the changes..
let (doc, selection) = view.state.old_state.take().unwrap();
let mut old_state = State::new(doc);
old_state.selection = selection;
2020-10-07 13:31:16 +04:00
2020-10-07 17:22:50 +04:00
// TODO: take transaction by value?
view.history.commit_revision(&transaction, &old_state);
// TODO: need to start the state with these vals
2020-10-07 13:31:16 +04:00
// HAXX
view.state.old_state = Some((view.state.doc().clone(), view.state.selection.clone()));
}
pub fn normal_mode(view: &mut View, _count: usize) {
view.state.mode = Mode::Normal;
append_changes_to_history(view);
// if leaving append mode, move cursor back by 1
if view.state.restore_cursor {
let text = &view.state.doc.slice(..);
view.state.selection = view.state.selection.transform(|range| {
Range::new(
range.from(),
graphemes::prev_grapheme_boundary(text, range.to()),
)
});
view.state.restore_cursor = false;
}
2020-09-05 17:01:05 +04:00
}
2020-10-05 01:47:37 +04:00
pub fn goto_mode(view: &mut View, _count: usize) {
view.state.mode = Mode::Goto;
}
// NOTE: Transactions in this module get appended to history when we switch back to normal mode.
pub mod insert {
use super::*;
// TODO: insert means add text just before cursor, on exit we should be on the last letter.
pub fn insert_char(view: &mut View, c: char) {
let c = Tendril::from_char(c);
let transaction = Transaction::insert(&view.state, c);
2020-09-05 17:01:05 +04:00
transaction.apply(&mut view.state);
}
pub fn insert_tab(view: &mut View, _count: usize) {
insert_char(view, '\t');
}
2020-10-01 23:16:24 +04:00
pub fn insert_newline(view: &mut View, _count: usize) {
let transaction = Transaction::change_by_selection(&view.state, |range| {
let indent_level =
helix_core::indent::suggested_indent_for_pos(&view.state, range.head);
let indent = " ".repeat(TAB_WIDTH).repeat(indent_level);
let mut text = String::with_capacity(1 + indent.len());
text.push('\n');
text.push_str(&indent);
(range.head, range.head, Some(text.into()))
});
transaction.apply(&mut view.state);
}
2020-10-01 03:15:42 +04:00
// TODO: handle indent-aware delete
pub fn delete_char_backward(view: &mut View, count: usize) {
let text = &view.state.doc.slice(..);
let transaction = Transaction::change_by_selection(&view.state, |range| {
(
graphemes::nth_prev_grapheme_boundary(text, range.head, count),
range.head,
None,
)
});
transaction.apply(&mut view.state);
}
pub fn delete_char_forward(view: &mut View, count: usize) {
let text = &view.state.doc.slice(..);
let transaction = Transaction::change_by_selection(&view.state, |range| {
(
range.head,
graphemes::nth_next_grapheme_boundary(text, range.head, count),
None,
)
});
transaction.apply(&mut view.state);
}
}
// Undo / Redo
pub fn undo(view: &mut View, _count: usize) {
view.history.undo(&mut view.state);
2020-10-09 11:58:43 +04:00
// TODO: each command could simply return a Option<transaction>, then the higher level handles storing it?
}
pub fn redo(view: &mut View, _count: usize) {
view.history.redo(&mut view.state);
}
2020-10-06 11:00:23 +04:00
// Yank / Paste
pub fn yank(view: &mut View, _count: usize) {
// TODO: should selections be made end inclusive?
let values = view
.state
.selection()
.fragments(&view.state.doc().slice(..))
.map(|cow| cow.into_owned())
.collect();
2020-10-09 11:58:43 +04:00
// TODO: allow specifying reg
let reg = '"';
register::set(reg, values);
2020-10-06 11:00:23 +04:00
}
pub fn paste(view: &mut View, _count: usize) {
2020-10-09 11:58:43 +04:00
// TODO: allow specifying reg
let reg = '"';
if let Some(values) = register::get(reg) {
2020-10-06 11:00:23 +04:00
let repeat = std::iter::repeat(
values
.last()
.map(|value| Tendril::from_slice(value))
.unwrap(),
);
2020-10-09 11:58:43 +04:00
// TODO: if any of values ends \n it's linewise paste
//
// p => paste after
// P => paste before
// alt-p => paste every yanked selection after selected text
// alt-P => paste every yanked selection before selected text
// R => replace selected text with yanked text
// alt-R => replace selected text with every yanked text
//
// append => insert at next line
// insert => insert at start of line
// replace => replace
// default insert
let linewise = values.iter().any(|value| value.ends_with('\n'));
2020-10-06 11:00:23 +04:00
let mut values = values.into_iter().map(Tendril::from).chain(repeat);
2020-10-09 11:58:43 +04:00
let transaction = if linewise {
// paste on the next line
// TODO: can simply take a range + modifier and compute the right pos without ifs
let text = view.state.doc();
Transaction::change_by_selection(&view.state, |range| {
let line_end = text.line_to_char(text.char_to_line(range.head) + 1);
(line_end, line_end, Some(values.next().unwrap()))
})
} else {
Transaction::change_by_selection(&view.state, |range| {
(range.head + 1, range.head + 1, Some(values.next().unwrap()))
})
};
2020-10-06 11:00:23 +04:00
transaction.apply(&mut view.state);
2020-10-07 13:31:16 +04:00
append_changes_to_history(view);
2020-10-06 11:00:23 +04:00
}
}
2020-10-09 11:58:43 +04:00
2020-10-13 18:08:28 +04:00
fn get_lines(view: &View) -> Vec<usize> {
2020-10-09 11:58:43 +04:00
let mut lines = Vec::new();
// Get all line numbers
for range in view.state.selection.ranges() {
let start = view.state.doc.char_to_line(range.from());
let end = view.state.doc.char_to_line(range.to());
for line in start..=end {
lines.push(line)
}
}
lines.sort_unstable(); // sorting by usize so _unstable is preferred
lines.dedup();
2020-10-13 18:08:28 +04:00
lines
}
pub fn indent(view: &mut View, _count: usize) {
let lines = get_lines(view);
2020-10-09 11:58:43 +04:00
// Indent by one level
let indent = Tendril::from(" ".repeat(TAB_WIDTH));
let transaction = Transaction::change(
&view.state,
lines.into_iter().map(|line| {
let pos = view.state.doc.line_to_char(line);
(pos, pos, Some(indent.clone()))
}),
);
transaction.apply(&mut view.state);
append_changes_to_history(view);
}
pub fn unindent(view: &mut View, _count: usize) {
2020-10-13 18:08:28 +04:00
let lines = get_lines(view);
let mut changes = Vec::with_capacity(lines.len());
for line_idx in lines {
let line = view.state.doc.line(line_idx);
let mut width = 0;
for ch in line.chars() {
match ch {
' ' => width += 1,
'\t' => width = (width / TAB_WIDTH + 1) * TAB_WIDTH,
_ => break,
}
if width >= TAB_WIDTH {
break;
}
}
if width > 0 {
let start = view.state.doc.line_to_char(line_idx);
changes.push((start, start + width, None))
}
}
let transaction = Transaction::change(&view.state, changes.into_iter());
transaction.apply(&mut view.state);
append_changes_to_history(view);
2020-10-09 11:58:43 +04:00
}
pub fn indent_selection(view: &mut View, _count: usize) {
// loop over each line and recompute proper indentation
unimplemented!()
}