Merge the editor and the terminal view. I think it will be nicer to work with them always side-by-side.

git-svn-id: https://www.unprompted.com/svn/projects/tildefriends/trunk@3380 ed5197a5-7fde-0310-b194-c3ffbd925b24
This commit is contained in:
2017-01-16 15:24:44 +00:00
parent ba0b3bf465
commit 993054ce9d
7 changed files with 226 additions and 166 deletions

View File

@ -102,11 +102,6 @@ a:active, .command:active {
padding: 0;
}
.CodeMirror-scroll {
height: 100%;
padding: 0;
}
.cm-tab {
background: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADAAAAAMCAYAAAAkuj5RAAAAAXNSR0IArs4c6QAAAGFJREFUSMft1LsRQFAQheHPowAKoACx3IgEKtaEHujDjORSgWTH/ZOdnZOcM/sgk/kFFWY0qV8foQwS4MKBCS3qR6ixBJvElOobYAtivseIE120FaowJPN75GMu8j/LfMwNjh4HUpwg4LUAAAAASUVORK5CYII=);
background-position: right;