fix: diagnostics when theme is set

Fixes #4509
This commit is contained in:
Damien Mehala
2025-01-04 18:38:06 +01:00
parent 1baf8928a0
commit 21572c305e

View File

@ -3207,6 +3207,11 @@ fn loadTheme(self: *Config, theme: Theme) !void {
var new_config = try self.cloneEmpty(alloc_gpa);
errdefer new_config.deinit();
// Clone our diagnostics if any.
if (!self._diagnostics.empty()) {
new_config._diagnostics = try self._diagnostics.clone(alloc_gpa);
}
// Load our theme
var buf_reader = std.io.bufferedReader(file.reader());
const reader = buf_reader.reader();