8c396a11f5
Don’t err in pip-frame-remove-buffer if there is no PIP frame
...
This is useful e.g. to prevent the error when a PIP frame with a
temporarily displayed buffer is deleted before the buffer timer
attempts to remove the buffer.
2022-08-02 21:14:04 +02:00
7a75e73f88
Silence checkdoc messages about docstrings of internal objects
...
Internal objects here don’t have and shouldn’t have documentation
strings because:
- There is nothing useful to specify in them.
- They are not a stable API to be used.
- They would pollute the source file and make it larger.
2022-07-06 10:10:46 +02:00
3e37e3ad0c
Move Code: label before the beginning of code
...
From the place where it was inserted by checkdoc.
2022-07-05 13:23:23 +02:00
57a18de9aa
Use Version instead of Package-Version in package headers
2022-07-04 19:01:55 +02:00
23721d0a55
Add some useless stuff to make checkdoc happier
2022-07-04 18:59:25 +02:00
7514139d18
Add “ends here” footer
...
It’s useless, but required by package-lint.
2022-06-29 21:22:32 +02:00
5ff002372b
Depend on Emacs >= 25.1
2022-06-29 21:22:18 +02:00
6de0e152eb
Disable tab-bar by default in the PIP frame
2022-06-29 19:26:01 +02:00
68818946a6
Specify a parent customization group
2022-06-28 22:06:47 +02:00
30da3d7c08
Add headers
2022-06-28 21:57:26 +02:00
aba0e70aec
Replace mapc with other constructs
2022-06-28 21:44:26 +02:00
63c390d76b
Don’t prefix lambdas with #'
2022-06-28 21:41:32 +02:00
05fe647254
Add “;;; Commentary:” label
2022-06-28 21:41:13 +02:00
dbde4c1ee3
Disable minibuffer in the PIP frame by default
...
It looks nicer and it’s likely better to use a larger minibuffer in
another frame if needed.
2022-06-15 19:43:30 +02:00
86f6ef3abc
Add support for displaying buffers in PIP temporarily
2022-05-16 07:59:32 +02:00
31636a8ccf
Allow specifying a buffer to add when called from a program
2022-05-16 07:21:41 +02:00
5c89fb4fd6
Remove forgotten ‘or’ from pip-frame-add-buffer
2022-05-16 07:12:31 +02:00
a0b669e25b
Add missing function docstrings
2022-05-16 07:10:16 +02:00
a68ac22b64
Initial version
2022-05-07 11:17:10 +02:00
