Skip to content
Snippets Groups Projects
user avatar
Jean-François Wauthy authored
don't tell the user the shortcut is already used if it is the shortcut he is editing (thx benny for the idea)


(Old svn revision: 12135)
17fa9338
History