beremiz

changed WidgetInspector shortcut to ctrl+home (ctrl+F12 was grabbed by KDE).

2008-05-24, etisserant
b352a2012691
changed WidgetInspector shortcut to ctrl+home (ctrl+F12 was grabbed by KDE).
[TOPOLOGY]
NetName=None
Nodes=0x01
Node64Present=0x01
Node64Name=micromod
Node64DCFName=PEAK MicroMod.eds
EDSBaseName=eds