Improved codemirror style.
This commit is contained in:
parent
ffb83df6a7
commit
afab138efa
|
@ -4,7 +4,7 @@
|
|||
background-color: transparent;
|
||||
position: absolute; left: 25px; top: 75px;
|
||||
padding: 12px;
|
||||
border: solid 1px transparent;
|
||||
border: 0px;
|
||||
border-radius: 5px;
|
||||
line-height: 1.1em;
|
||||
font-family: monospace;
|
||||
|
@ -18,7 +18,6 @@
|
|||
|
||||
.CodeMirror:hover {
|
||||
background-color:rgba(0,0,0,.5);
|
||||
border: solid 1px rgba(128,128,128,.4);
|
||||
}
|
||||
|
||||
.CodeMirror-scroll {
|
||||
|
|
|
@ -796,8 +796,8 @@ void main( void ) {
|
|||
isMaxHeight = ((resizer.currentHeight === resizer.maxHeight) || (resizer.currentHeight === resizer.minHeight));
|
||||
|
||||
resizer.isResizing = false;
|
||||
resizer.maxWidth = window.innerWidth - 75;
|
||||
resizer.maxHeight = window.innerHeight - 125;
|
||||
resizer.maxWidth = window.innerWidth - 52;
|
||||
resizer.maxHeight = window.innerHeight - 100;
|
||||
if (isMaxWidth || (resizer.currentWidth > resizer.maxWidth)) {
|
||||
resizer.currentWidth = resizer.maxWidth;
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue