[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#49069: 28.0.50; [PATCH] Use display-buffer for re-builder
|
From: |
Trust me I am a Doctor |
|
Subject: |
bug#49069: 28.0.50; [PATCH] Use display-buffer for re-builder |
|
Date: |
Tue, 29 Jun 2021 17:51:43 +0200 |
But maybe we don't care at all about user customizations, the point being
rather to stop the re-builder window to be stealed by other buffers, and
to clean it on kill-buffer, then we could use
'display-buffer-overriding-actions'.
0001-Pop-re-buffer-in-a-dedicated-window.patch
Description: pop re-buffer in a dedicated window