##// END OF EJS Templates
New Plugin Manager and interface to remove all the previous crap!...
New Plugin Manager and interface to remove all the previous crap! Let's use Qt plugin API and make it much simpler.

File last commit:

r79:3440ba47d0f1 default
r118:de85e8465e67 tip 1.0
Show More
SocExplorer.css
17 lines | 300 B | text/css | LassoCssLexer
Jeandet Alexis
Sync
r15 QGroupBox {
border: 1px solid gray;
border-radius: 9px;
margin-top: 0.5em;
}
QGroupBox::title {
subcontrol-origin: margin;
left: 10px;
padding: 0 3px 0 3px;
}
New register explorer WIP.
r78 QWidget#CollapsablePeripheralWidget {
New register explorer WIP...
r79 border: 2px solid gray;
border-radius: 6px;
margin-top: 0.5em;
New register explorer WIP.
r78 }