Code

Fixed valgrind-detected issue with tooltip shortcuts and profile manager on delete.
authorJon A. Cruz <jon@joncruz.org>
Fri, 10 Sep 2010 08:34:09 +0000 (01:34 -0700)
committerJon A. Cruz <jon@joncruz.org>
Fri, 10 Sep 2010 08:34:09 +0000 (01:34 -0700)
commit7470494cb0c0634ac4278a274fdf7f1814b81ab5
treef43407a1dc9376006272bcb50d07b7b9c500a0dc
parent6b464dfa85f56bbe7e0ff053bcb709fe346a5e2c
Fixed valgrind-detected issue with tooltip shortcuts and profile manager on delete.
src/profile-manager.cpp
src/shortcuts.cpp
src/verbs.cpp
src/verbs.h