From 9adc2e1a756c83bc8e877b253aeafdf7b89c06da Mon Sep 17 00:00:00 2001 From: Joey Wunderlich Date: Fri, 6 Feb 2026 15:42:27 -0800 Subject: [PATCH 1/2] show extension zone in github view (#11093) --- webapp/src/gitjson.tsx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/webapp/src/gitjson.tsx b/webapp/src/gitjson.tsx index f257303d7ca8..5f5d218e88d2 100644 --- a/webapp/src/gitjson.tsx +++ b/webapp/src/gitjson.tsx @@ -824,7 +824,7 @@ class GithubComponent extends data.Component { {diffFiles && } {(master || main) && } - {!isBlocksMode && } +
From 852dd4435704ad654d6e97697cd4ad94e88b4916 Mon Sep 17 00:00:00 2001 From: Sarah Rietkerk <49178322+srietkerk@users.noreply.github.com> Date: Fri, 6 Feb 2026 16:03:45 -0800 Subject: [PATCH 2/2] make zooming with the editor buttons match live (#11092) * make zooming with the editor buttons match live * increase monaco zoom rate with buttons --- webapp/src/blocks.tsx | 4 ++-- webapp/src/monaco.tsx | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/webapp/src/blocks.tsx b/webapp/src/blocks.tsx index 7295bf8813cd..22f00cb344b5 100644 --- a/webapp/src/blocks.tsx +++ b/webapp/src/blocks.tsx @@ -1050,12 +1050,12 @@ export class Editor extends toolboxeditor.ToolboxEditor { zoomIn() { if (!this.editor) return; - this.editor.zoomCenter(0.8); + this.editor.zoomCenter(5); } zoomOut() { if (!this.editor) return; - this.editor.zoomCenter(-0.8); + this.editor.zoomCenter(-5); } setScale(scale: number) { diff --git a/webapp/src/monaco.tsx b/webapp/src/monaco.tsx index 92f099b1dad5..6b9779649091 100644 --- a/webapp/src/monaco.tsx +++ b/webapp/src/monaco.tsx @@ -1283,7 +1283,7 @@ export class Editor extends toolboxeditor.ToolboxEditor { if (!this.editor) return; if (this.parent.settings.editorFontSize >= MAX_EDITOR_FONT_SIZE) return; let currentFont = this.getEditorFontSize(); - this.parent.settings.editorFontSize = currentFont + 1; + this.parent.settings.editorFontSize = currentFont + 3; this.editor.updateOptions({ fontSize: this.parent.settings.editorFontSize }); this.forceDiagnosticsUpdate(); } @@ -1292,7 +1292,7 @@ export class Editor extends toolboxeditor.ToolboxEditor { if (!this.editor) return; if (this.parent.settings.editorFontSize <= MIN_EDITOR_FONT_SIZE) return; let currentFont = this.getEditorFontSize(); - this.parent.settings.editorFontSize = currentFont - 1; + this.parent.settings.editorFontSize = currentFont - 3; this.editor.updateOptions({ fontSize: this.parent.settings.editorFontSize }); this.forceDiagnosticsUpdate(); }