Fix wrong font family, shorten statusbar text
This commit is contained in:
@@ -83,7 +83,7 @@
|
|||||||
*/
|
*/
|
||||||
updateStatusBar = function (e) {
|
updateStatusBar = function (e) {
|
||||||
var cursor_position = editor.getCursorPosition();
|
var cursor_position = editor.getCursorPosition();
|
||||||
$('.statusbar .position').text('Line: ' + (1 + cursor_position.row) + ', Col: ' + cursor_position.column);
|
$('.statusbar .position').text('@ ' + (1 + cursor_position.row) + ':' + (1+cursor_position.column));
|
||||||
};
|
};
|
||||||
|
|
||||||
/**
|
/**
|
||||||
@@ -106,7 +106,7 @@
|
|||||||
|
|
||||||
success: function (res, status, jqXHR) {
|
success: function (res, status, jqXHR) {
|
||||||
if (res.memory || res.duration) {
|
if (res.memory || res.duration) {
|
||||||
$('.statusbar .runtime-info').text('Mem: ' + res.memory + ' MB, Time: ' + res.duration + ' ms');
|
$('.statusbar .runtime-info').text('Load: ' + res.memory + ' MB, ' + res.duration + ' ms');
|
||||||
} else {
|
} else {
|
||||||
$('.statusbar .runtime-info').text('');
|
$('.statusbar .runtime-info').text('');
|
||||||
}
|
}
|
||||||
@@ -154,8 +154,7 @@
|
|||||||
editor.setOptions({
|
editor.setOptions({
|
||||||
showPrintMargin: false,
|
showPrintMargin: false,
|
||||||
fontSize: '18px',
|
fontSize: '18px',
|
||||||
enableBasicAutocompletion: true,
|
enableBasicAutocompletion: true
|
||||||
fontFamily: 'Source Code Pro'
|
|
||||||
});
|
});
|
||||||
|
|
||||||
// set mode
|
// set mode
|
||||||
|
|||||||
@@ -1,6 +1,10 @@
|
|||||||
|
body, textarea, input, body .ace_editor {
|
||||||
|
font-size: 12px;
|
||||||
|
font-family: "IBM Plex Mono", "Source Code Pro", "Monaco", monospace;
|
||||||
|
}
|
||||||
|
|
||||||
body, textarea, input {
|
body, textarea, input {
|
||||||
font-size: 12px;
|
font-size: 12px;
|
||||||
font-family: "Source Code Pro", monospace;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
body {
|
body {
|
||||||
|
|||||||
+1
-1
@@ -3,7 +3,7 @@
|
|||||||
// sandbox
|
// sandbox
|
||||||
if (config('php-sandbox.enable', false)) {
|
if (config('php-sandbox.enable', false)) {
|
||||||
Route::group([
|
Route::group([
|
||||||
'middleware' => config('php-sandbox.route_middleware'), ['web']
|
'middleware' => config('php-sandbox.route_middleware'),
|
||||||
], function () {
|
], function () {
|
||||||
Route::get(config('php-sandbox.route', 'sandbox'),
|
Route::get(config('php-sandbox.route', 'sandbox'),
|
||||||
'\MightyPork\PhpSandbox\PhpSandboxController@index')->name('php-sandbox');
|
'\MightyPork\PhpSandbox\PhpSandboxController@index')->name('php-sandbox');
|
||||||
|
|||||||
@@ -38,7 +38,7 @@
|
|||||||
<a id="btn-ren">ren</a>
|
<a id="btn-ren">ren</a>
|
||||||
<a id="btn-del">del</a>
|
<a id="btn-del">del</a>
|
||||||
|
|
|
|
||||||
<span class="position">Line: 1, Col: 1</span>
|
<span class="position">@ 1:1</span>
|
||||||
<span class="runtime-info"></span>
|
<span class="runtime-info"></span>
|
||||||
<input type="submit" name="subm" value="Run!"/>
|
<input type="submit" name="subm" value="Run!"/>
|
||||||
</div>
|
</div>
|
||||||
|
|||||||
Reference in New Issue
Block a user