diff options
| author | David Aspinall | 2009-05-26 12:54:26 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-05-26 12:54:26 +0000 |
| commit | 2954ca8d555af6290aa7b94b09ccebe276b466be (patch) | |
| tree | ca81f3f1f15045b211ded6c037c5e3821a49dbe2 /generic/proof-menu.el | |
| parent | 51a8d16344647114cabfd481ac3cb2ddad7abfaa (diff) | |
Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor cleanups
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 91f2646e..7599f005 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -635,10 +635,9 @@ suitable for adding to the proof assistant menu." (key (if (y-or-n-p "Set a keybinding for this command? : ") ;; FIXME: better validation here would be to check ;; this is a new binding, or remove old binding below. - (events-to-keys (read-key-sequence "Type the key to use (binding will be C-c C-a <key>): " - nil t))))) + nil t)))) ;; result (list cmd ins men key))) |