Better shortcut messages
commit9f30798586040d5b4e07375a5aa430b7af988111
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Mon, 14 Dec 2009 14:51:19 +0000 (14 14:51 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Mon, 14 Dec 2009 14:51:19 +0000 (14 14:51 +0000)
treebdf0da77160a82722cb78a5e0a2d3535ffc0cae5
parentcad79f36e3141ef502ea5e873c1577914454aa3a
Better shortcut messages

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2892 64cb5145-927a-446d-8aed-2fb7b4773692
src/src/Edit/Interface/edit_keyboard.cpp