fix code editor gutter sizing
This commit is contained in:
parent
92e3b8fcb7
commit
3cd0d4afb5
|
@ -169,7 +169,7 @@ rkgk-reticle-cursor {
|
||||||
/* Code editor */
|
/* Code editor */
|
||||||
|
|
||||||
rkgk-code-editor {
|
rkgk-code-editor {
|
||||||
--gutter-width: 2.5em;
|
--gutter-width: 2.75em;
|
||||||
|
|
||||||
display: block;
|
display: block;
|
||||||
position: relative;
|
position: relative;
|
||||||
|
@ -191,6 +191,7 @@ rkgk-code-editor {
|
||||||
flex-direction: column;
|
flex-direction: column;
|
||||||
|
|
||||||
&>.line {
|
&>.line {
|
||||||
|
flex-shrink: 0;
|
||||||
white-space: pre-wrap;
|
white-space: pre-wrap;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
@ -209,10 +210,11 @@ rkgk-code-editor {
|
||||||
counter-increment: line;
|
counter-increment: line;
|
||||||
|
|
||||||
&::before {
|
&::before {
|
||||||
|
flex-shrink: 0;
|
||||||
|
|
||||||
display: block;
|
display: block;
|
||||||
width: var(--gutter-width);
|
width: var(--gutter-width);
|
||||||
flex-shrink: 0;
|
padding-right: 0.75em;
|
||||||
padding-right: 0.5em;
|
|
||||||
box-sizing: border-box;
|
box-sizing: border-box;
|
||||||
|
|
||||||
content: counter(line);
|
content: counter(line);
|
||||||
|
|
Loading…
Reference in a new issue