diff options
| author | Martin Rudalics | 2015-05-19 11:08:21 +0200 |
|---|---|---|
| committer | Martin Rudalics | 2015-05-19 11:08:21 +0200 |
| commit | 9a07af01d046d072520593a729ea18230761e205 (patch) | |
| tree | 0c13081d13e6f7d81b81ce8eaed8cd6e79866ca4 /src | |
| parent | 448cacc85c5cc7b017437e71962168ed03d21ab6 (diff) | |
| download | emacs-9a07af01d046d072520593a729ea18230761e205.tar.gz emacs-9a07af01d046d072520593a729ea18230761e205.zip | |
Clarify concept of "surrogate minibuffer frames" (Bug#20538)
* src/frame.c (Fdelete_frame): In doc-string mention that frame
can't be deleted if it has a surrogate minibuffer.
* doc/lispref/frames.texi (Minibuffers and Frames)
(Deleting Frames): Explain "surrogate minibuffer frames".
Diffstat (limited to 'src')
| -rw-r--r-- | src/frame.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/frame.c b/src/frame.c index 22086552ea3..edf656694b7 100644 --- a/src/frame.c +++ b/src/frame.c | |||
| @@ -1823,9 +1823,10 @@ DEFUN ("delete-frame", Fdelete_frame, Sdelete_frame, 0, 2, "", | |||
| 1823 | doc: /* Delete FRAME, permanently eliminating it from use. | 1823 | doc: /* Delete FRAME, permanently eliminating it from use. |
| 1824 | FRAME defaults to the selected frame. | 1824 | FRAME defaults to the selected frame. |
| 1825 | 1825 | ||
| 1826 | A frame may not be deleted if its minibuffer is used by other frames. | 1826 | A frame may not be deleted if its minibuffer serves as surrogate |
| 1827 | Normally, you may not delete a frame if all other frames are invisible, | 1827 | minibuffer for another frame. Normally, you may not delete a frame if |
| 1828 | but if the second optional argument FORCE is non-nil, you may do so. | 1828 | all other frames are invisible, but if the second optional argument |
| 1829 | FORCE is non-nil, you may do so. | ||
| 1829 | 1830 | ||
| 1830 | This function runs `delete-frame-functions' before actually | 1831 | This function runs `delete-frame-functions' before actually |
| 1831 | deleting the frame, unless the frame is a tooltip. | 1832 | deleting the frame, unless the frame is a tooltip. |