Blaž Hrastnik
|
a16c6e2585
|
clippy lints
|
2021-03-01 17:37:31 +09:00 |
|
Blaž Hrastnik
|
2088c45075
|
commands: Implement X as extend line.
|
2021-03-01 14:41:02 +09:00 |
|
Blaž Hrastnik
|
4102992c46
|
Bump deps.
|
2021-03-01 14:33:02 +09:00 |
|
Blaž Hrastnik
|
ec4dd0a176
|
Add a selection mode again.
|
2021-03-01 14:31:34 +09:00 |
|
Blaž Hrastnik
|
00808afe3c
|
ui: Make editor more resilient about being shrunk too small.
|
2021-03-01 14:23:10 +09:00 |
|
Blaž Hrastnik
|
2c9b02039b
|
commands: Implement join_selections.
|
2021-02-26 17:21:59 +09:00 |
|
Blaž Hrastnik
|
6336c1da20
|
view: Reposition cursors on tree resize.
|
2021-02-26 15:53:19 +09:00 |
|
Blaž Hrastnik
|
ad58286dc7
|
graphemes: fix nth_prev_grapheme_boundary calculation.
|
2021-02-26 15:53:01 +09:00 |
|
Blaž Hrastnik
|
1ae7c43391
|
commands: = as range formatting (via lsp)
|
2021-02-26 15:52:43 +09:00 |
|
Blaž Hrastnik
|
7162632eb7
|
lsp: Hover documentation draft.
|
2021-02-25 18:07:47 +09:00 |
|
Blaž Hrastnik
|
8289bd1cb0
|
minor, fix clippy lint
|
2021-02-25 16:52:32 +09:00 |
|
Blaž Hrastnik
|
01907b3497
|
commands: Implement count for a few more commands.
|
2021-02-25 16:49:30 +09:00 |
|
Blaž Hrastnik
|
5fa1ba6b1c
|
commands: refactor open_below to support count.
|
2021-02-25 16:47:37 +09:00 |
|
Blaž Hrastnik
|
6bd16a7320
|
graphemes: Optimize nth_next/nth_prev operation.
It's used a lot more than it used to in position calculation. Instead of
throwing away state between boundary calculation, reuse it.
|
2021-02-24 17:12:44 +09:00 |
|
Blaž Hrastnik
|
f118e7580f
|
Improve coords_at_pos & pos_at_coords, test with graphemes.
|
2021-02-24 16:08:17 +09:00 |
|
Blaž Hrastnik
|
87a6d4e736
|
minor: Simplify some code.
|
2021-02-24 16:07:39 +09:00 |
|
Blaž Hrastnik
|
c6456d04b9
|
syntax: Drop the rayon dependency for threadpool.
We just need a small concurrent threadpool for compilation.
|
2021-02-24 13:17:10 +09:00 |
|
Blaž Hrastnik
|
41c0d5828f
|
flake: Packaging definition.
|
2021-02-22 17:02:59 +09:00 |
|
Blaž Hrastnik
|
def949e509
|
open_below: drop redundant collect/into_iter.
|
2021-02-22 17:02:32 +09:00 |
|
Blaž Hrastnik
|
6cfb1acb9d
|
commands: Implement expand_selection.
|
2021-02-22 17:02:32 +09:00 |
|
Blaž Hrastnik
|
33c67f1388
|
commands: add * as selection search.
|
2021-02-22 15:14:02 +09:00 |
|
Blaž Hrastnik
|
61ce2c9cfe
|
lsp: Disable snippet_support until we implement it.
|
2021-02-22 14:42:12 +09:00 |
|
Blaž Hrastnik
|
004a4f37a7
|
lsp: Handle responses being returned after request timed out.
|
2021-02-22 12:44:36 +09:00 |
|
Blaž Hrastnik
|
8b9b02f08b
|
minor
|
2021-02-22 12:06:28 +09:00 |
|
Blaž Hrastnik
|
3b6c9648f3
|
fix clippy lint
|
2021-02-22 11:43:57 +09:00 |
|
Blaž Hrastnik
|
5096bdad33
|
completion: Use the language server bound to the document.
|
2021-02-22 11:42:47 +09:00 |
|
Blaž Hrastnik
|
9132c6a591
|
Make some Document fields read-only.
|
2021-02-21 19:47:21 +09:00 |
|
Blaž Hrastnik
|
7da6bd6a71
|
commands: Simplify some code, only calling cx.doc() once.
|
2021-02-21 19:04:31 +09:00 |
|
Blaž Hrastnik
|
7877647cf0
|
Allow closing individual views.
|
2021-02-19 17:46:43 +09:00 |
|
Blaž Hrastnik
|
1e1dae1c11
|
Remove unused method.
|
2021-02-19 16:49:10 +09:00 |
|
Blaž Hrastnik
|
3f6f82b0c4
|
Always store the log file under home dir.
|
2021-02-19 16:48:51 +09:00 |
|
Blaž Hrastnik
|
8c82f8f140
|
indent: use_list indentation, fix indentation bug on open_below
use std::{
time::Duration // <- pressing `o` here would use }'s indent instead of prev line
}
|
2021-02-19 14:55:53 +09:00 |
|
Blaž Hrastnik
|
7a1ff5e45f
|
commands: Wire up toggle comments as ctrl-c
|
2021-02-19 13:59:24 +09:00 |
|
Blaž Hrastnik
|
4ab5631d65
|
more lints
|
2021-02-18 18:45:41 +09:00 |
|
Blaž Hrastnik
|
0827c45d94
|
view: Disable tree.fullscreen for now to appease clippy.
|
2021-02-18 18:36:24 +09:00 |
|
Blaž Hrastnik
|
d0791e0f98
|
core: Implement comment toggling module.
|
2021-02-18 18:35:39 +09:00 |
|
Blaž Hrastnik
|
c9dd1c930e
|
treewide: &RopeSlice -> RopeSlice. It's Copy so no reason to pass by ref
|
2021-02-18 18:34:22 +09:00 |
|
Blaž Hrastnik
|
bd85460698
|
Bump jsonrpc-core, lsp-types.
|
2021-02-18 14:10:52 +09:00 |
|
Blaž Hrastnik
|
af55ebd002
|
transaction: Also modify map_pos to work with insert|delete order.
|
2021-02-18 12:17:33 +09:00 |
|
Blaž Hrastnik
|
d5f9622e2e
|
lsp: edit events change ranges need to affect each other.
|
2021-02-17 17:28:55 +09:00 |
|
Blaž Hrastnik
|
9cac44c7c0
|
minor changes
|
2021-02-17 17:26:27 +09:00 |
|
Blaž Hrastnik
|
8e1a59c140
|
ui: Redo selection rendering.
|
2021-02-17 17:26:27 +09:00 |
|
Blaž Hrastnik
|
c408e7e01a
|
commands: tie in a simple :w for now.
|
2021-02-16 18:23:44 +09:00 |
|
Blaž Hrastnik
|
48ef6598db
|
Increase the log level in LSP and log server errors.
|
2021-02-16 18:18:35 +09:00 |
|
Blaž Hrastnik
|
d8bc19f715
|
Update deps, switch tendril over to crates.io
|
2021-02-16 18:11:17 +09:00 |
|
Blaž Hrastnik
|
1ffd1e7633
|
Send updates to the lsp on undo/redo.
|
2021-02-16 18:11:17 +09:00 |
|
Blaž Hrastnik
|
b7da7f83c3
|
lsp: Test changeset_to_changes.
|
2021-02-16 15:45:46 +09:00 |
|
Blaž Hrastnik
|
9821c4dd3b
|
Optimize Changeset::is_empty()
Checked the ASM output for these three options:
pub enum Operation {
/// Move cursor by n characters.
Retain(usize),
/// Delete n characters.
Delete(usize),
/// Insert text at position.
Insert(String),
}
pub struct A {
changes: Vec<Operation>,
len: usize,
}
impl A {
pub fn is_empty1(&self) -> bool {
match self.changes.as_slice() {
[] => true,
[Operation::Retain(_)] => true,
_ => false,
}
}
/// `true` when the set is empty.
pub fn is_empty2(&self) -> bool {
let len = self.changes.len();
len == 0
|| (
len == 1
&& self.changes[0] == Operation::Retain(self.len)
)
}
pub fn is_empty3(&self) -> bool {
match self.changes.as_slice() {
[] | [Operation::Retain(_)] => true,
_ => false
}
}
}
|
2021-02-16 13:39:04 +09:00 |
|
Blaž Hrastnik
|
b0b5451c38
|
Since insert preceedes deletes, follow that ordering in Transaction::changes.
Produces the same output but will take the happy path.
|
2021-02-16 11:09:05 +09:00 |
|
Blaž Hrastnik
|
0541fbb85f
|
Adjust LSP changeset generation too: insert now always preceedes delete.
|
2021-02-16 11:08:06 +09:00 |
|