mirror of
https://github.com/ghostty-org/ghostty.git
synced 2025-07-15 00:06:09 +03:00
Fix a scenario that could cause issues under some conditions
I don't know if this actually occurs in a way that can cause serious problems, but it's better to nip it in the bud.
This commit is contained in:
@ -1763,10 +1763,15 @@ pub fn manualStyleUpdate(self: *Screen) !void {
|
||||
|
||||
// If our new style is the default, just reset to that
|
||||
if (self.cursor.style.default()) {
|
||||
self.cursor.style_id = 0;
|
||||
self.cursor.style_id = style.default_id;
|
||||
return;
|
||||
}
|
||||
|
||||
// Clear the cursor style ID to prevent weird things from happening
|
||||
// if the page capacity has to be adjusted which would end up calling
|
||||
// manualStyleUpdate again.
|
||||
self.cursor.style_id = style.default_id;
|
||||
|
||||
// After setting the style, we need to update our style map.
|
||||
// Note that we COULD lazily do this in print. We should look into
|
||||
// if that makes a meaningful difference. Our priority is to keep print
|
||||
|
Reference in New Issue
Block a user