##// END OF EJS Templates
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
Jeandet Alexis -
r12:a31c7daed0d6 default
Show More