bfe7a760d1
3.7 is brought some big changes in the window layout code, but I'm not going to take advantage of them (as the assume some sort of row based layout). Instead, just work around them in a way that makes the extension work without major issues.
4 lines
146 B
CSS
4 lines
146 B
CSS
.window-caption {
|
|
-shell-caption-spacing: 13px; /* current caption height is 26px => set it to half of it. TODO: better solution needed */
|
|
}
|