Thu, 21 Jul 2005 11:49:32 +0000 |
Juanma Barranquero |
(desktop-clear-preserve-buffers-regexp): Also preserve the *server* buffer.
|
Thu, 21 Jul 2005 11:41:54 +0000 |
Juanma Barranquero |
(widget-default-create, widget-after-change, widget-default-format-handler,
|
Thu, 21 Jul 2005 11:09:11 +0000 |
Juanma Barranquero |
(vcursor-other-window, vcursor-bind-keys, vcursor-key-bindings,
|
Thu, 21 Jul 2005 10:51:10 +0000 |
Juanma Barranquero |
(w32-shell-name): Use `bound-and-true-p'.
|
Thu, 21 Jul 2005 10:38:01 +0000 |
Juanma Barranquero |
"?\ " -> "?\s".
|
Thu, 21 Jul 2005 10:33:36 +0000 |
Juanma Barranquero |
(tempo-insert-prompt, tempo-interactive, tempo-show-completion-buffer,
|
Thu, 21 Jul 2005 10:03:50 +0000 |
Juanma Barranquero |
(eshell-ls-decorated-name): Doc fix.
|