- hint "restart drpython for updating menu shortcuts", when saving shortcuts
Authored by: FrancescoA 2010-07-16
Parent: [r387]
Child: [r389]