[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] externals/caml 78f81bc 004/197: Corrections diverses
From: |
Stefan Monnier |
Subject: |
[nongnu] externals/caml 78f81bc 004/197: Corrections diverses |
Date: |
Sat, 21 Nov 2020 01:19:26 -0500 (EST) |
branch: externals/caml
commit 78f81bcc32edc742bce88ced304c7f196de283f6
Author: Xavier Leroy <xavier.leroy@inria.fr>
Commit: Xavier Leroy <xavier.leroy@inria.fr>
Corrections diverses
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1299
f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
camldebug.el | 20 ++++++++++++--------
1 file changed, 12 insertions(+), 8 deletions(-)
diff --git a/camldebug.el b/camldebug.el
index b74c9a7..5a0049b 100644
--- a/camldebug.el
+++ b/camldebug.el
@@ -42,8 +42,8 @@
(defvar camldebug-last-frame-displayed-p)
(defvar camldebug-filter-function)
-(defvar camldebug-prompt-pattern "^(cdb) *"
- "A regexp to recognize the prompt for camldebug.")
+(defvar camldebug-prompt-pattern "^(ocd) *"
+ "A regexp to recognize the prompt for ocamldebug.")
(defvar camldebug-overlay-event nil
"Overlay for displaying the current event.")
@@ -160,7 +160,8 @@ representation is simply concatenated with the COMMAND."
(concat "\C-x\C-a" key)
(list 'quote fun)))))
-(def-camldebug "step" "\C-s" "Step one source line with display.")
+(def-camldebug "step" "\C-s" "Step one event forward.")
+(def-camldebug "backstep" "\C-k" "Step one event backward.")
(def-camldebug "run" "\C-r" "Run the program.")
(def-camldebug "reverse" "\C-v" "Run the program in reverse.")
(def-camldebug "last" "\C-l" "Go to latest time in execution history.")
@@ -168,22 +169,25 @@ representation is simply concatenated with the COMMAND."
(def-camldebug "finish" "\C-f" "Finish executing current function.")
(def-camldebug "print" "\C-p" "Print value of symbol at point." "%e")
(def-camldebug "display" "\C-d" "Display value of symbol at point."
"%e")
-(def-camldebug "next" "\C-n" "Step one source line (skip functions)")
+(def-camldebug "next" "\C-n" "Step one event forward (skip functions)")
(def-camldebug "up" "<" "Go up N stack frames (numeric arg) with display")
(def-camldebug "down" ">" "Go down N stack frames (numeric arg) with display")
(def-camldebug "break" "\C-b" "Set breakpoint at current line."
"@ \"%m\" # %c")
(defun camldebug-mouse-display (click)
- "Display value of symbol clicked on."
+ "Display value of $NNN clicked on."
(interactive "e")
(let* ((start (event-start click))
(window (car start))
- (pos (car (cdr start))))
+ (pos (car (cdr start)))
+ symb)
(save-excursion
(select-window window)
(goto-char pos)
- (camldebug-call "display" "%e"))))
+ (setq symb (thing-at-point 'symbol))
+ (if (string-match "^\\$[0-9]+$" symb)
+ (camldebug-call "display" symb)))))
(define-key camldebug-mode-map [mouse-2] 'camldebug-mouse-display)
@@ -467,7 +471,7 @@ around point."
The directory containing FILE becomes the initial working directory
and source-file directory for camldebug. If you wish to change this, use
the camldebug commands `cd DIR' and `directory'."
- (interactive "fRun camldebug on file: ")
+ (interactive "fRun ocamldebug on file: ")
(setq path (expand-file-name path))
(let ((file (file-name-nondirectory path)))
(pop-to-buffer (concat "*camldebug-" file "*"))
- [nongnu] branch externals/caml created (now 38ebde1), Stefan Monnier, 2020/11/21
- [nongnu] externals/caml bf4ed0f 001/197: Mode OCaml Garrigue/Zimmerman, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 087fca8 003/197: Fichier oublie., Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 8ef19e2 002/197: Makefile d'installation, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml ad4f8bf 007/197: Nouveau module Marshal dans stdlib, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 9d045e4 009/197: Corrections de Jacques sur sa version 1.05, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 78f81bc 004/197: Corrections diverses,
Stefan Monnier <=
- [nongnu] externals/caml 6ce04bf 006/197: Donne a ocamldebug le chemin complet du programme a lancer, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml fc4b394 017/197: some changes due to ITZ, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml a0f8f81 008/197: Mise a jour avec la version 1.05 de Jacques Garrigue, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 6186a9f 013/197: Patch d'Erwan David, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 98bd08b 011/197: Bug de l'affichage des evenements after., Stefan Monnier, 2020/11/21
- [nongnu] externals/caml e9a1d67 022/197: ITZ patch, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 4060fd2 005/197: Fix: ne pas ecraser EMACSDIR qui est donne par la ligne de commande de make., Stefan Monnier, 2020/11/21
- [nongnu] externals/caml aa800fa 018/197: Snapshot 99/01/29, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 9aa847d 020/197: intelligent indentation of parenthesis, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml a047a61 021/197: log, Stefan Monnier, 2020/11/21