Sync explorer_app.py and clip_utils.py from main repo

scripts/explorer_app.py

@@ -63,9 +63,10 @@ from clip_utils import load_clip, compute_text_embeddings
 
 from bokeh.io import curdoc
 from bokeh.layouts import column, row
+from bokeh.events import MouseMove
 from bokeh.models import (
     ColumnDataSource, HoverTool, Div, Select, TextInput, Button,
-    DataTable, TableColumn, NumberFormatter, IntEditor, BoxSelectTool,
+    DataTable, TableColumn, NumberFormatter, IntEditor,
     Slider, Toggle, CustomJS,
 )
 from bokeh.plotting import figure
@@ -1337,16 +1338,41 @@ patch_bg_source = ColumnDataSource(data=dict(
     image=[], x=[0], y=[0], dw=[patch_grid], dh=[patch_grid],
 ))
 
-_box_select = BoxSelectTool(mode="append")
 patch_fig = figure(
     width=_PATCH_FIG_PX, height=_PATCH_FIG_PX,
     x_range=(0, patch_grid), y_range=(0, patch_grid),
-    tools=["tap", _box_select, "reset"],
-    active_drag=_box_select,
-    title="Click or drag to select patches  |  shift+click to add individually",
+    tools=["tap", "reset"],
+    title="Click or drag to paint patch selection",
     toolbar_location="above",
     visible=False,
 )
+
+# Paint-on-drag selection: any patch the mouse passes over while the button
+# is held gets added to the selection.  We track button state with a
+# document-level mousedown/mouseup listener (set up lazily on first move).
+_paint_js = CustomJS(args=dict(source=patch_grid_source, pg=patch_grid), code="""
+    if (!window._patch_paint_init) {
+        window._patch_paint_init = true;
+        window._patch_btn_held  = false;
+        document.addEventListener('mousedown', () => { window._patch_btn_held = true;  });
+        document.addEventListener('mouseup',   () => { window._patch_btn_held = false; });
+    }
+    if (!window._patch_btn_held) return;
+
+    const x = cb_obj.x, y = cb_obj.y;
+    if (x === null || y === null || x < 0 || x >= pg || y < 0 || y >= pg) return;
+
+    const col       = Math.floor(x);
+    const row       = pg - 1 - Math.floor(y);
+    const flat_idx  = row * pg + col;
+
+    const sel = source.selected.indices.slice();
+    if (sel.indexOf(flat_idx) === -1) {
+        sel.push(flat_idx);
+        source.selected.indices = sel;
+    }
+""")
+patch_fig.js_on_event(MouseMove, _paint_js)
 patch_fig.image_rgba(
     source=patch_bg_source,
     image='image', x='x', y='y', dw='dw', dh='dh',