Nemcio/Grav-Admin-Plugin
1
0
Fork 0
mirror of https://github.com/getgrav/grav-plugin-admin.git synced 2026-05-07 06:16:56 +02:00
Code Issues Packages Projects Releases Activity

Fix small UI issue in the editor with codemirror.lineNumbers && codemirror.styleActiveLine enabled

Browse Source
This commit is contained in:
Flavio Copes
2017-04-14 14:15:46 +02:00
parent 001248cb7d
commit 6e80b4106a
4 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
CHANGELOG.md
View File

@@ -4,6 +4,7 @@
1. [](#improved)
* More robust styling of admin themes page [#1067](https://github.com/getgrav/grav-plugin-admin/pull/1067)
* Fix fullscreen editor height [#1065](https://github.com/getgrav/grav-plugin-admin/pull/1065)
* Fix small UI issue in the editor with `codemirror.lineNumbers` && `codemirror.styleActiveLine` enabled
# v1.3.3
## 04/12/2017

2
themes/grav/css-compiled/template.css vendored
View File

File diff suppressed because one or more lines are too long

2
themes/grav/css-compiled/template.css.map
View File

File diff suppressed because one or more lines are too long

3
themes/grav/scss/template/_editor.scss
View File

@@ -21,6 +21,9 @@
background: Highlight;
}
.CodeMirror-gutters {
height: 100%!important;
}
}
.grav-editor-fullscreen {