app/edit: avoid refreshing inner editor when selection changes. the layout remains unchanged.

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:?})");