##// 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

File last commit:

r10:536aeec6c7cb default
r12:a31c7daed0d6 default
Show More
.hgsubstate
1 line | 80 B | text/plain | TextLexer
e3a98a04d9ec8685bf222f8d687a614a71927549 src/SocExplorerEngine/PeripheralWidget