From dde0595ee013da9d2ad2cb2c92a4f2fa405fb3fc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ond=C5=99ej=20Hru=C5=A1ka?= <ondra@ondrovo.com>
Date: Tue, 21 Aug 2018 09:25:47 +0200
Subject: [PATCH] Fix wrong font family, shorten statusbar text

---
 src/assets/php-console.js   | 7 +++----
 src/assets/styles.css       | 6 +++++-
 src/routes.php              | 2 +-
 src/views/sandbox.blade.php | 2 +-
 4 files changed, 10 insertions(+), 7 deletions(-)

diff --git a/src/assets/php-console.js b/src/assets/php-console.js
index 4573122..2618fa1 100644
--- a/src/assets/php-console.js
+++ b/src/assets/php-console.js
@@ -83,7 +83,7 @@
 	 */
 	updateStatusBar = function (e) {
 		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) {
 				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 {
 					$('.statusbar .runtime-info').text('');
 				}
@@ -154,8 +154,7 @@
 		editor.setOptions({
 			showPrintMargin: false,
 			fontSize: '18px',
-			enableBasicAutocompletion: true,
-			fontFamily: 'Source Code Pro'
+			enableBasicAutocompletion: true
 		});
 
 		// set mode
diff --git a/src/assets/styles.css b/src/assets/styles.css
index 521b2d9..400f327 100644
--- a/src/assets/styles.css
+++ b/src/assets/styles.css
@@ -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 {
     font-size: 12px;
-    font-family: "Source Code Pro", monospace;
 }
 
 body {
diff --git a/src/routes.php b/src/routes.php
index d8582c2..c761f32 100644
--- a/src/routes.php
+++ b/src/routes.php
@@ -3,7 +3,7 @@
 // sandbox
 if (config('php-sandbox.enable', false)) {
     Route::group([
-        'middleware' => config('php-sandbox.route_middleware'), ['web']
+        'middleware' => config('php-sandbox.route_middleware'),
     ], function () {
         Route::get(config('php-sandbox.route', 'sandbox'),
             '\MightyPork\PhpSandbox\PhpSandboxController@index')->name('php-sandbox');
diff --git a/src/views/sandbox.blade.php b/src/views/sandbox.blade.php
index 7ca1e28..f088f5c 100644
--- a/src/views/sandbox.blade.php
+++ b/src/views/sandbox.blade.php
@@ -38,7 +38,7 @@
 				<a id="btn-ren">ren</a>
 				<a id="btn-del">del</a>
 				&nbsp;|&nbsp;
-				<span class="position">Line: 1, Col: 1</span>
+				<span class="position">@ 1:1</span>
 				<span class="runtime-info"></span>
 				<input type="submit" name="subm" value="Run!"/>
 			</div>