doconnell Could I tail the console out in a SSH session instead?
That is not currently available via ssh (the console is logging to the client (browser) and not the server (Bela)).
Maybe you could change the font size in a couple of places?
This will change it for the text editor:
diff --git a/IDE/public/js/bundle.js b/IDE/public/js/bundle.js
index 2a7a4ee5..e8e0790f 100644
--- a/IDE/public/js/bundle.js
+++ b/IDE/public/js/bundle.js
@@ -1857,6 +1857,9 @@ var EditorView = function (_View) {
// set theme
_this.editor.setTheme("ace/theme/chrome");
_this.editor.setShowPrintMargin(false);
+ _this.editor.setOptions({
+ fontSize: "16pt"
+ });
// autocomplete settings
_this.editor.setOptions({
This will change the font size in the console:
diff --git a/IDE/public/css/style.css b/IDE/public/css/style.css
index 3ae02b1e..8fc97a28 100644
--- a/IDE/public/css/style.css
+++ b/IDE/public/css/style.css
@@ -320,7 +320,7 @@ input[type="range"].range-slider {
-webkit-box-sizing: border-box;
box-sizing: border-box;
font-family: inconsolata, monospace;
- font-size: 12px;
+ font-size: 16px;
height: 100%;
position: relative;
overflow-x: hidden;
Hope this helps