From 437409a238b7334664c843861eb7c9217cc5651a Mon Sep 17 00:00:00 2001 From: Mishtee Gandhi Date: Thu, 21 Dec 2023 16:53:44 +0530 Subject: [PATCH 1/2] Change font size in code editor --- .../app/code-editor/code-editor.component.html | 4 ++++ .../app/code-editor/code-editor.component.ts | 18 +++++++++++++++++- 2 files changed, 21 insertions(+), 1 deletion(-) diff --git a/ArduinoFrontend/src/app/code-editor/code-editor.component.html b/ArduinoFrontend/src/app/code-editor/code-editor.component.html index 1060ee98..78cdd5f2 100644 --- a/ArduinoFrontend/src/app/code-editor/code-editor.component.html +++ b/ArduinoFrontend/src/app/code-editor/code-editor.component.html @@ -9,6 +9,10 @@
+ +