mirror of
https://github.com/Rnhmjoj/solarized-dark-ui
synced 2025-03-18 18:48:38 +01:00
Mini editor selection update
make more clear which mini editor is focused
This commit is contained in:
parent
ea1352916c
commit
2bb2757e65
@ -11,11 +11,12 @@
|
|||||||
padding-left: @component-padding/2;
|
padding-left: @component-padding/2;
|
||||||
|
|
||||||
.cursor { border-color: #fff; }
|
.cursor { border-color: #fff; }
|
||||||
.selection .region { background-color: #444; }
|
.selection .region { background-color: lighten(@input-background-color, 10%); }
|
||||||
}
|
}
|
||||||
|
|
||||||
.editor.editor-colors.mini.is-focused {
|
.editor.editor-colors.mini.is-focused {
|
||||||
background-color: lighten(@input-background-color, 5%);
|
background-color: lighten(@input-background-color, 5%);
|
||||||
|
.selection .region { background-color: desaturate(@background-color-info, 50%); }
|
||||||
}
|
}
|
||||||
|
|
||||||
// FIXME: these should go in syntax themes?
|
// FIXME: these should go in syntax themes?
|
||||||
|
Loading…
Reference in New Issue
Block a user