r/p5.js-web-editor
1
0
Fork 0
Code Issues 1 Pull requests Releases 1 Wiki Activity

fix bug in foldgutter styling

Browse source
This commit is contained in:
Cassie Tarakajian 2018-10-15 17:45:31 -04:00
parent b927f98060
commit dcf9f270c4
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
client/styles/components/_editor.scss
View file

@ -245,6 +245,11 @@ pre.CodeMirror-line {
background: transparent url(../images/exit.svg) no-repeat; background: transparent url(../images/exit.svg) no-repeat;
} }
.CodeMirror-foldgutter-open, .CodeMirror-foldgutter-folded {
position: absolute;
right: 100%;
}
.CodeMirror-foldgutter-open:after { .CodeMirror-foldgutter-open:after {
@include themify() { @include themify() {
background-image: getThemifyVariable('codefold-icon-open'); background-image: getThemifyVariable('codefold-icon-open');