From b2d135a1dd697b532f3d31b6b2e53135deadd696 Mon Sep 17 00:00:00 2001 From: "Mingde (Matthew) Zeng" Date: Fri, 10 Apr 2020 02:10:18 -0400 Subject: [PATCH] Add eaf-terminal-font-size variable --- app/terminal/buffer.py | 2 +- app/terminal/index.html | 2 +- eaf.el | 16 +++++++--------- 3 files changed, 9 insertions(+), 11 deletions(-) diff --git a/app/terminal/buffer.py b/app/terminal/buffer.py index 071e609..7a7eead 100644 --- a/app/terminal/buffer.py +++ b/app/terminal/buffer.py @@ -63,7 +63,7 @@ class AppBuffer(BrowserBuffer): (self.emacs_var_dict["eaf-terminal-dark-mode"] == "" and self.call_emacs("GetThemeMode") == "dark"): theme = "dark" with open(self.index_file, "r") as f: - html = f.read().replace("%1", str(self.port)).replace("%2", "file://" + os.path.join(os.path.dirname(__file__))).replace("%3", theme) + html = f.read().replace("%1", str(self.port)).replace("%2", "file://" + os.path.join(os.path.dirname(__file__))).replace("%3", theme).replace("%4", self.emacs_var_dict["eaf-terminal-font-size"]) self.buffer_widget.setHtml(html) self.update_title() diff --git a/app/terminal/index.html b/app/terminal/index.html index f1ae130..9cd25c4 100644 --- a/app/terminal/index.html +++ b/app/terminal/index.html @@ -42,7 +42,7 @@