Removed annoying GUI bug with dock widget handling:...
Removed annoying GUI bug with dock widget handling:
-when last the plugin is removed the GUI is broken, if you add a new plugin
it will not tabify correctly.
Some cleaning on proxy:
-removed dead code.
Updated credits:
-added LppSerial link to hephaistos
-added gnome icons link