]> granicus.if.org Git - python/commitdiff
(py-guess-indent-offset): Only print message about py-indent-offset
authorBarry Warsaw <barry@python.org>
Fri, 25 Sep 1998 00:08:38 +0000 (00:08 +0000)
committerBarry Warsaw <barry@python.org>
Fri, 25 Sep 1998 00:08:38 +0000 (00:08 +0000)
when in an interactive session (suggested by B. Wiener).

Misc/python-mode.el

index 61ae46518b5096a7b70efc77703b3148f38d0fd7..96da5de7e8ffbd4d002947902b418f514ab3dee1 100644 (file)
@@ -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 ()