traxys/tree-sitter
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix layout issues in web-ui

Browse source
This commit is contained in:
Max Brunsfeld 2019-09-11 14:44:49 -07:00
parent 86205b9e6d
commit 0d913dec65
2 changed files with 9 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

9
cli/src/web_ui.html
View file

@ -7,7 +7,7 @@
</head>
<body>
<div id="playground-container">
<div id="playground-container" style="visibility: hidden;">
<header>
<div class=header-item>
<bold>THE_LANGUAGE_NAME</bold>
@ -118,7 +118,12 @@
margin-right: 30px;
}
.CodeMirror {
#playground-container .CodeMirror {
position: absolute;
top: 0;
bottom: 0;
left: 0;
right: 0;
height: 100%;
}