diff options
| author | Barry Warsaw <barry@python.org> | 1998-09-25 00:08:38 (GMT) |
|---|---|---|
| committer | Barry Warsaw <barry@python.org> | 1998-09-25 00:08:38 (GMT) |
| commit | d35c255e44e64db7323ef278dd3c5da35808785f (patch) | |
| tree | b2184e8714c00ee45a8ecba3225180022bf4e806 | |
| parent | 02e5f69c9000af28e2af1d50ede17008bcfb671a (diff) | |
| download | cpython-d35c255e44e64db7323ef278dd3c5da35808785f.zip cpython-d35c255e44e64db7323ef278dd3c5da35808785f.tar.gz cpython-d35c255e44e64db7323ef278dd3c5da35808785f.tar.bz2 | |
(py-guess-indent-offset): Only print message about py-indent-offset
when in an interactive session (suggested by B. Wiener).
| -rw-r--r-- | Misc/python-mode.el | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Misc/python-mode.el b/Misc/python-mode.el index 61ae465..96da5de 100644 --- a/Misc/python-mode.el +++ b/Misc/python-mode.el @@ -1802,9 +1802,10 @@ it's tried again going backward." (funcall (if global 'kill-local-variable 'make-local-variable) 'py-indent-offset) (setq py-indent-offset new-value) - (message "%s value of py-indent-offset set to %d" - (if global "Global" "Local") - py-indent-offset)) + (or noninteractive + (message "%s value of py-indent-offset set to %d" + (if global "Global" "Local") + py-indent-offset))) )) (defun py-comment-indent-function () |