Commit Graph

3 Commits

Author SHA1 Message Date
Tor Hedin Brønner
0c3f71d94d selection highlight: add rounded border 2020-03-01 18:13:05 +01:00
Tor Hedin Brønner
5e94080e1d Fix and update workspace menu for 3.36
Upstream updated the menu style (and together with that some styles we
relied on). Fix it and make the look inline with the new upstream menus.
2020-02-25 10:44:00 +01:00
Ole Jørgen Brønner
0269af8aee stylesheet.css
And a placeholder style for selected window in minimap.

The extension system load this file automatically. Simply set the class on a st
widget to use:

    new St.Bin({ style_class: "paper-mm-selected-window"});

The border is part of the width though (box-sizing not supported I think) so
if we're going to use borders directly around the clone some adjustment will be
needed to keep 100% aligned with the actual space.
2017-09-28 13:29:11 +02:00