beremiz

Fixing bug integrated plugin editors not closed when removing corresponding plugin

2011-12-20, laurent
c1792dfc8c7e
Fixing bug integrated plugin editors not closed when removing corresponding plugin
[Desktop Entry]
Encoding=UTF-8
Name=Manual
Comment=Open Source framework for automation
Comment[fr]=Environnement de développement Open Source pour l'automatisme
Exec=/usr/bin/xpdf /usr/share/beremiz/doc/manual_beremiz.pdf
Icon=
Terminal=false
MultipleArgs=false
Type=Application
Categories=Beremiz_doc;
StartupNotify=true