Fix a bug
This commit is contained in:
@@ -322,6 +322,8 @@ void ApplyTitleBarChangesToWindow(Window *window, View *view, Buffer *buffer) {
|
|||||||
if (GetFront(caret) != buffer_pos) {
|
if (GetFront(caret) != buffer_pos) {
|
||||||
caret = MakeCaret(buffer_pos);
|
caret = MakeCaret(buffer_pos);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
window->title_bar_last_buffer_change_id = buffer->change_id;
|
||||||
}
|
}
|
||||||
|
|
||||||
void ReplaceTitleBarData(Window *window) {
|
void ReplaceTitleBarData(Window *window) {
|
||||||
@@ -329,7 +331,9 @@ void ReplaceTitleBarData(Window *window) {
|
|||||||
view->scroll.y = 0;
|
view->scroll.y = 0;
|
||||||
Buffer *buffer = GetBuffer(view->active_buffer);
|
Buffer *buffer = GetBuffer(view->active_buffer);
|
||||||
if (IsActive(window)) {
|
if (IsActive(window)) {
|
||||||
ApplyTitleBarChangesToWindow(window, view, buffer);
|
if (buffer->change_id != window->title_bar_last_buffer_change_id) {
|
||||||
|
ApplyTitleBarChangesToWindow(window, view, buffer);
|
||||||
|
}
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user