more consistent fonts, enable enter to bypass line

This commit is contained in:
Mahdi Mohammadi 2017-06-12 13:24:56 +01:00
parent 8dba800bb9
commit a2b597be5a
3 changed files with 14 additions and 14 deletions

View File

@ -45,13 +45,13 @@
#content { #content {
font-family: "Ubuntu Mono" !important; font-family: "Ubuntu Mono" !important;
margin-top: 50px; margin-top: 50px;
margin-left: auto; margin-left: 25%;
margin-right: auto;
width: 80%; width: 80%;
border: none; border: none;
word-wrap: break-word;
} }
.CodeMirror-cursor { .CodeMirror-cursor {
background-color: #ffc40d !important; border-color: #ffc40d !important;
} }
.CodeMirror-code, .CodeMirror { .CodeMirror-code, .CodeMirror {
@ -60,7 +60,8 @@
.CodeMirror pre { .CodeMirror pre {
font-family: "Ubuntu Mono" !important; font-family: "Ubuntu Mono" !important;
font-size:10pt; font-size:14px;
line-height: 1.3em;
} }
button { button {
@ -73,7 +74,7 @@ button {
cursor:pointer; cursor:pointer;
color:#ffffff; color:#ffffff;
font-family:Arial; font-family:Arial;
font-size:17px; font-size:12px;
padding:6px 16px; padding:6px 16px;
text-decoration:none; text-decoration:none;
text-shadow:0px 1px 0px #283966; text-shadow:0px 1px 0px #283966;
@ -99,13 +100,12 @@ button:active {
} }
.prev-list > li { .prev-list > li {
display: inline-block; display: block;
width: 48%; width: 48%;
list-style: none; list-style: none;
margin: 5px; margin: 5px;
padding: 5px; padding: 5px;
border: #CCC 1px solid; font-family: "Ubuntu Mono" !important;
border-radius: 3px;
} }
.prev-list > li > a, .prev-list > li > a,
@ -115,5 +115,5 @@ button:active {
} }
body { body {
font-family: "Open Sans"; font-family: "Open Sans" !important;
} }

View File

@ -211,7 +211,7 @@ function handleEnter(event) {
let pos = editor.getCursor(); let pos = editor.getCursor();
let currentLine = editor.doc.getLine(pos.line); let currentLine = editor.doc.getLine(pos.line);
let trimmed = currentLine.trim(); let trimmed = currentLine.trim();
if (editor.getCursor().ch >= currentLine.indexOf(trimmed) + trimmed.length) { // if (editor.getCursor().ch >= currentLine.indexOf(trimmed) + trimmed.length) {
if (pos.line < editor.doc.size - 1) { if (pos.line < editor.doc.size - 1) {
var newLine = pos.line; var newLine = pos.line;
while (true) { while (true) {
@ -235,7 +235,7 @@ function handleEnter(event) {
} else { } else {
goToNextChunk(); goToNextChunk();
} }
} // }
} }
function handleTab(event) { function handleTab(event) {

View File

@ -28,9 +28,9 @@
<h2>New File</h2> <h2>New File</h2>
<form id="form"> <form id="form">
<input type="text" id="file" placeholder="path/to/file.js" required="true"> <input type="text" id="file" placeholder="path/to/file.java" required="true">
<br> <br /><br />
<input type="submit" value="Type"> <button type="submit">Type</button>
</form> </form>
</div> </div>