mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-10-27 08:50:29 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Merge adjacent chunks with the same highlight name in copied JSON

Browse source
This commit is contained in:
Nathan Sobo 2023-03-24 16:52:00 -06:00
parent 195215f1e0
commit 3dfedd1b21
1 changed files with 17 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
crates/editor/src/editor.rs
View file

@ -6345,14 +6345,14 @@ impl Editor {
#[derive(Serialize)]
struct Chunk<'a> {
text: &'a str,
text: String,
highlight: Option<&'a str>,
}
let snapshot = buffer.read(cx).snapshot();
let chunks = snapshot.chunks(0..snapshot.len(), true);
let mut lines = Vec::new();
let mut line = Vec::new();
let mut line: Vec<Chunk> = Vec::new();
let theme = &cx.global::<Settings>().theme.editor.syntax;
@ -6360,7 +6360,21 @@ impl Editor {
let highlight = chunk.syntax_highlight_id.and_then(|id| id.name(theme));
let mut chunk_lines = chunk.text.split("\n").peekable();
while let Some(text) = chunk_lines.next() {
line.push(Chunk { text, highlight });
let mut merged_with_last_token = false;
if let Some(last_token) = line.last_mut() {
if last_token.highlight == highlight {
last_token.text.push_str(text);
merged_with_last_token = true;
}
}
if !merged_with_last_token {
line.push(Chunk {
text: text.into(),
highlight,
});
}
if chunk_lines.peek().is_some() {
lines.push(mem::take(&mut line));
}