diff options
author | Andrii Kolomoiets <andreyk.mad@gmail.com> | 2019-11-02 18:08:13 +0200 |
---|---|---|
committer | Eli Zaretskii <eliz@gnu.org> | 2019-11-07 18:53:04 +0200 |
commit | e50587b1db8475fd45e6668f97ca7bc28b798996 (patch) | |
tree | e51d7e5dd91759fa98780b1799032e8aa6411ce2 /etc | |
parent | 3df1cf75f2f2be9549b6ffe3649387d2b4246f06 (diff) | |
download | emacs-e50587b1db8475fd45e6668f97ca7bc28b798996.tar.gz |
python.el: Pdbtracking improvements
Allow not to kill buffers when pdbtracking session is finished.
Pdbtracking session considered finished judging from the user input.
* lisp/progmodes/python.el (python-pdbtrack-kill-buffers): New
customizable variable.
(python-pdbtrack-set-tracked-buffer): Use it.
(python-pdbtrack-unset-tracked-buffer)
(python-pdbtrack-tracking-finish): New functions.
(python-pdbtrack-continue-command, python-pdbtrack-exit-command):
New customizable variables.
(python-pdbtrack-process-sentinel): New function. Finish
pdbtracking session when process is killed.
(python-pdbtrack-prev-command-continue): New variable.
(python-pdbtrack-comint-input-filter-function): New function.
Finish pdbtracking session based on commands sent to pdb.
(python-pdbtrack-comint-output-filter-function): Unset/set
tracking buffer if looking at pdb prompt; finish pdbtracking
session if filename of current stack frame starts with
"<" e.g. "<stdin>".
(python-pdbtrack-comint-output-filter-function): Don't override
overlay-arrow-string.
(python-pdbtrack-setup-tracking): New function.
(inferior-python-mode): Use it.
(python-pdbtrack-stacktrace-info-regexp): Default value is changed.
Must also match lines with filename like "<stdin>" and "<string>".
* etc/NEWS: Mention python-pdbtrack-kill-buffers
Diffstat (limited to 'etc')
-rw-r--r-- | etc/NEWS | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -1445,6 +1445,11 @@ unescaping text. The maximum level is used by default; customize 'font-lock-maximum-decoration' to tone down the decoration. +--- +*** New user option 'python-pdbtrack-kill-buffers'. +If nil, buffers opened during pdbtracking session are not killed when +pdbtracking session is finished. + ** Help --- |