Add skip_shaping flag to avoid expensive shaping when not needed

This commit is contained in:
Héctor Ramón Jiménez 2023-04-19 00:24:43 +02:00
parent bfb5eefbfa
commit ad111a1df1
No known key found for this signature in database
GPG key ID: 140CC052C94F138E
5 changed files with 126 additions and 29 deletions

View file

@ -245,6 +245,7 @@ impl Edit for Editor {
.strip_suffix(char::is_control)
.unwrap_or(data_line),
these_attrs,
false,
));
} else {
panic!("str::lines() did not yield any elements");
@ -256,6 +257,7 @@ impl Edit for Editor {
.strip_suffix(char::is_control)
.unwrap_or(data_line),
final_attrs.split_off(remaining_split_len),
false,
);
tmp.append(after);
self.buffer.lines.insert(insert_line, tmp);
@ -270,6 +272,7 @@ impl Edit for Editor {
.strip_suffix(char::is_control)
.unwrap_or(data_line),
final_attrs.split_off(remaining_split_len),
false,
);
self.buffer.lines.insert(insert_line, tmp);
self.cursor.line += 1;