From 71e7a7e2a94b82d84326abb0a064cf189ac39cbf Mon Sep 17 00:00:00 2001 From: Kushagra Gour Date: Sun, 16 Jul 2017 00:57:39 +0530 Subject: [PATCH] add option to specify and custom system font for editor. fixes #136 --- src/index.html | 3 +++ src/script.js | 13 +++++++++++-- 2 files changed, 14 insertions(+), 2 deletions(-) diff --git a/src/index.html b/src/index.html index 00baefd..40dc3b8 100644 --- a/src/index.html +++ b/src/index.html @@ -419,7 +419,10 @@ + + +