Update version properly when FontSystem changes in text::editor

This commit is contained in:
Héctor Ramón Jiménez 2023-09-18 13:58:55 +02:00
parent b5466f41ca
commit 61ef8f3249
No known key found for this signature in database
GPG key ID: 7CC46565708259A7

View file

@ -472,6 +472,9 @@ impl editor::Editor for Editor {
for line in internal.editor.buffer_mut().lines.iter_mut() { for line in internal.editor.buffer_mut().lines.iter_mut() {
line.reset(); line.reset();
} }
internal.version = font_system.version();
internal.topmost_line_changed = Some(0);
} }
if new_font != internal.font { if new_font != internal.font {