You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
While working on #2989, I've noticed that the logic behind hide-prompt-buffer is intriguing. It calls ffi-buffer-delete, but it's (setf (height prompt-buffer) 0) that makes it disappear, which seems like a violation of ffi-buffer-delete's responsibility. ffi-buffer-delete should delete the renderer buffer object and cease its display.
It's also unclear why buffer-hide exists, see commit e342115. Note that it's only called on the GTK port (which a major red flag).
The text was updated successfully, but these errors were encountered:
While working on #2989, I've noticed that the logic behind
hide-prompt-buffer
is intriguing. It callsffi-buffer-delete
, but it's(setf (height prompt-buffer) 0)
that makes it disappear, which seems like a violation offfi-buffer-delete
's responsibility.ffi-buffer-delete
should delete the renderer buffer object and cease its display.It's also unclear why
buffer-hide
exists, see commit e342115. Note that it's only called on the GTK port (which a major red flag).The text was updated successfully, but these errors were encountered: