diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-18 15:21:45 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-18 15:21:45 +0000 |
commit | 78969186e204e14daa05f7662a2d3d223cd5466c (patch) | |
tree | 361467e837bd006d6143aa49ac2307df3ae13e60 /lib | |
parent | 7d79479762513583e63f1d07762c81b12245e7c0 (diff) |
Tune profiling
Diffstat (limited to 'lib')
-rw-r--r-- | lib/pg-dev.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/pg-dev.el b/lib/pg-dev.el index 612b5ab1..8253fd93 100644 --- a/lib/pg-dev.el +++ b/lib/pg-dev.el @@ -142,7 +142,8 @@ overlay-put overlay-start overlay-end make-overlay buffer-live-p kill-buffer process-status get-buffer-process - delete-overlay move-overlay)) + delete-overlay move-overlay + accept-process-output)) (elp-instrument-package "font-lock")) ;; improve readability of profile results, give milliseconds |