view src/.dbxinit @ 81443:a71b6149e347

* wid-edit.el (widget-add-documentation-string-button): Fix handling of documentation indent.
author Chong Yidong <cyd@stupidchicken.com>
date Fri, 15 Jun 2007 16:27:16 +0000
parents 18e524802887
children
line wrap: on
line source

ignore 14
catch 18
ignore 20
ignore 23
alias s step
alias n next
alias c cont
alias st status
alias r run
alias l list
alias f file
alias q quit
alias w where
alias d delete
alias p print