From 7ceb7f279ab9458830d7d77d12122875a80af6e4 Mon Sep 17 00:00:00 2001
From: Tiang-88 <51110833+Tiang-88@users.noreply.github.com>
Date: Mon, 4 Sep 2023 19:32:33 +0800
Subject: [PATCH 1/3] =?UTF-8?q?=E5=A4=9A=E4=BD=99=E4=B8=80=E8=A1=8C?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
trunk/web/template/syzoj/submitpage.php | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/trunk/web/template/syzoj/submitpage.php b/trunk/web/template/syzoj/submitpage.php
index 776ddab9807..0e0e1f6896f 100644
--- a/trunk/web/template/syzoj/submitpage.php
+++ b/trunk/web/template/syzoj/submitpage.php
@@ -87,7 +87,7 @@
?>
-
+
From 23cbfed82731727e17a02ccb6ae22e303645a314 Mon Sep 17 00:00:00 2001
From: Tiang-88 <51110833+Tiang-88@users.noreply.github.com>
Date: Mon, 4 Sep 2023 19:42:37 +0800
Subject: [PATCH 2/3] Update submitpage.php
---
trunk/web/template/syzoj/submitpage.php | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/trunk/web/template/syzoj/submitpage.php b/trunk/web/template/syzoj/submitpage.php
index 0e0e1f6896f..5e18928a0e6 100644
--- a/trunk/web/template/syzoj/submitpage.php
+++ b/trunk/web/template/syzoj/submitpage.php
@@ -86,7 +86,7 @@
if (isset($OJ_TEST_RUN)&&$OJ_TEST_RUN) $height="400px";else $height="500px";
?>
-
+
From 21d925d44e3830218a32388030392acfe0173171 Mon Sep 17 00:00:00 2001
From: Tiang-88 <51110833+Tiang-88@users.noreply.github.com>
Date: Mon, 4 Sep 2023 19:53:40 +0800
Subject: [PATCH 3/3] Update submitpage.php
---
trunk/web/template/syzoj/submitpage.php | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/trunk/web/template/syzoj/submitpage.php b/trunk/web/template/syzoj/submitpage.php
index 5e18928a0e6..7576880e379 100644
--- a/trunk/web/template/syzoj/submitpage.php
+++ b/trunk/web/template/syzoj/submitpage.php
@@ -388,13 +388,13 @@ function autoSave(){
function increaseFontSize(event) {
event.preventDefault();
var currentSize = parseInt(editor.getFontSize());
- editor.setFontSize(currentSize + 1);
+ editor.setFontSize(currentSize + 3);
}
function decreaseFontSize(event) {
event.preventDefault();
var currentSize = parseInt(editor.getFontSize());
- editor.setFontSize(currentSize - 1);
+ editor.setFontSize(currentSize - 3);
}
function toggleTheme(event) {
event.preventDefault();