Fix bizarre dynamic resizing bug
This commit is contained in:
parent
50b487bf5f
commit
a45e35f5fe
|
@ -59,7 +59,7 @@
|
||||||
</button>
|
</button>
|
||||||
</div>
|
</div>
|
||||||
<div style="height: 100%">
|
<div style="height: 100%">
|
||||||
<div id="editor" style="height: 100%; padding: 12px; padding-left: 0"></div>
|
<div id="editor" style="height: 100%; margin: 12px; margin-left: 0"></div>
|
||||||
</div>
|
</div>
|
||||||
</div>
|
</div>
|
||||||
<div class="column" id="terminal" style="background: black; padding: 0">
|
<div class="column" id="terminal" style="background: black; padding: 0">
|
||||||
|
|
Loading…
Reference in New Issue