External textures drawn at their own size, a repaint without rebuilding the view, an icon size for list rows, and lighter tabs on the desktop strip

External textures. `ExternalSource::Texture` stretches its texture over the widget's rect, so a producer that is a few frames behind a new rect shows its old picture stretched or squeezed. A web page while its window is resized is the clearest case: the page keeps sending frames of the old size until it has laid itself out again, and the content wobbles as the window moves. The new `ExternalSource::Frame` closure returns the texture with its size in physical pixels, and the texture is drawn at that size from the rect's top left corner, cut to the rect. A late frame then leaves an empty edge or loses one for a moment, as other browsers do, instead of being distorted. The cut uses `interior_clip`, which moves from the text field's drawing code to `render/clip.rs` so both widgets can use it, and the clip that was active before is restored afterwards.
Repaint without a view. An application whose only change is a new frame in an external texture had to report `InvalidationScope::All`, which rebuilds the whole view just to draw the same widgets again. `App::needs_repaint` is asked once per iteration, after the messages are processed. When it returns `true`, the main surface and the secondary surfaces are redrawn from the cached view, without calling `view`. The default is `false`, so existing applications behave as before.
List rows. `ListItem::icon_size` overrides the size of the leading icon, which was always the theme's 24 design px, for dense lists such as a menu, where an icon of that size dominates the row.
Tab strip. On the desktop, a tab's title is drawn at the regular weight whether it is selected or not; the selected tab already stands out by its fill and edge, and the bold title made the strip heavy. The desktop tab's close icon is 10 widget pixels instead of the 16 that the cards of the tab overview keep, so `parts::close` now takes the icon size from its caller.

src/widget/text_edit/draw.rs

@@ -2,6 +2,7 @@
 // Copyright (C) 2026 Liberux Labs, S. L. <info@liberux.net>
 
 use crate::render::Canvas;
+use crate::render::clip::interior_clip;
 use crate::types::{ Color, Rect };
 
 use super::TextEdit;
@@ -13,43 +14,6 @@ use super::tabs::{ line_x, next_stop, tab_width };
 use super::TextFont;
 use super::theme;
 
-/// Axis-aligned intersection of two rects. Returns `None` when the rects
-/// do not overlap (zero-area / negative-extent results count as
-/// "no overlap" so the caller can `filter_map` straight into a clip
-/// list).
-/// Clip for the field interior. An empty intersection with the parent clip
-/// must still clip everything: an empty rect list would lift the clip.
-pub( super ) fn interior_clip( outer: &[ Rect ], inner: Rect ) -> Vec<Rect>
-{
-	if outer.is_empty()
-	{
-		return vec![ inner ];
-	}
-	let clip: Vec<Rect> = outer.iter()
-		.filter_map( |o| rect_intersect( *o, inner ) )
-		.collect();
-	if clip.is_empty()
-	{
-		vec![ Rect { x: 0.0, y: 0.0, width: 0.0, height: 0.0 } ]
-	} else {
-		clip
-	}
-}
-
-fn rect_intersect( a: Rect, b: Rect ) -> Option<Rect>
-{
-	let x0 = a.x.max( b.x );
-	let y0 = a.y.max( b.y );
-	let x1 = ( a.x + a.width  ).min( b.x + b.width  );
-	let y1 = ( a.y + a.height ).min( b.y + b.height );
-	if x1 > x0 && y1 > y0
-	{
-		Some( Rect { x: x0, y: y0, width: x1 - x0, height: y1 - y0 } )
-	} else {
-		None
-	}
-}
-
 fn password_toggle_reserve( rect: Rect ) -> f32
 {
 	( theme::PASSWORD_TOGGLE_SIZE + theme::PASSWORD_TOGGLE_SLOP * 2.0 ) * single_line_scale( rect )