comparison src/.gdbinit @ 85414:f79d3fec6de7

(encoded-kbd-setup-display): Be careful not to remove keymaps that just happen to inherit from one of ours. When setting up our keymap, make sure it won't be accidentally modified by someone else.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Thu, 18 Oct 2007 18:53:28 +0000
parents e903d611edc5
children 0dd5043f1b3e bdb3fe0ba9fa
comparison
equal deleted inserted replaced
85413:73a49d587762 85414:f79d3fec6de7