From 347541e011aff40bf7e4e8487563045f5c579b64 Mon Sep 17 00:00:00 2001
From: jkds <dj3@fff>
Date: Sun, 18 Jan 2026 10:12:12 +0100
Subject: [PATCH] app/edit: avoid refreshing inner editor when selection
 changes. the layout remains unchanged.

---
 bin/app/src/ui/edit/mod.rs | 2 --
 1 file changed, 2 deletions(-)

diff --git a/bin/app/src/ui/edit/mod.rs b/bin/app/src/ui/edit/mod.rs
index e79d95e1a..f5f61ba8d 100644
--- a/bin/app/src/ui/edit/mod.rs
+++ b/bin/app/src/ui/edit/mod.rs
@@ -1000,8 +1000,6 @@ impl BaseEdit {
 
             //t!("handle_select(): set_selection({start}, {end})");
             editor.set_selection(start, end);
-            editor.refresh();
-
             editor.selected_text()
         };
         //d!("Select {seltext:?} from {clip_mouse_pos:?} (unclipped: {mouse_pos:?})");