From 5d2226b9f31c9e5281db7718c14c4f3dd2642c66 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 18 Aug 2010 12:12:22 +0000 Subject: hack to ELP to give better readability of profile results, in milliseconds --- lib/pg-dev.el | 23 ++++++++++++++++++++--- 1 file changed, 20 insertions(+), 3 deletions(-) (limited to 'lib') diff --git a/lib/pg-dev.el b/lib/pg-dev.el index 38c24400..1a204527 100644 --- a/lib/pg-dev.el +++ b/lib/pg-dev.el @@ -1,6 +1,6 @@ ;;; pg-dev.el --- Developer settings for Proof General ;; -;; Copyright (C) 2008, 2009 LFCS Edinburgh. +;; Copyright (C) 2008, 2009, 2010 LFCS Edinburgh. ;; Author: David Aspinall and others ;; License: GPL (GNU GENERAL PUBLIC LICENSE) ;; @@ -115,6 +115,7 @@ ;; Proling interesting packages ;; +;;;###autoload (defun profile-pg () (interactive) (elp-instrument-package "proof-") @@ -127,10 +128,26 @@ (elp-instrument-package "replace-") ; for replace-regexp etc (elp-instrument-package "re-search-") ; for re-search-forwad etc (elp-instrument-package "skip-chars-") ; for skip chars etc - (elp-instrument-function 'string-match) - (elp-instrument-function 'match-string) + (elp-instrument-list + '(string-match match-string re-search-forward re-search-backward + skip-chars-forward skip-chars-backward + goto-char insert + set-marker marker-position + nreverse nconc mapc + member + redisplay + sit-for + overlay-put overlay-start overlay-end make-overlay + buffer-live-p kill-buffer + process-status get-buffer-process + delete-overlay move-overlay)) (elp-instrument-package "font-lock")) +;; improve readability of profile results, give milliseconds +(defun elp-pack-number (number width) + (format (concat "%" (number-to-string (- width 3)) ".2f") + (* 100 (string-to-number number)))) + ;; ;; Make references to bugs clickable; [e.g., trac #1] -- cgit v1.2.3