@vestra-player/sdk 1.5.57 → 1.6.0

package/CHANGELOG.md

@@ -1,5 +1,21 @@
 # Changelog
 
+## 1.6.0
+
+**Who must change: nobody.** No change to the TypeScript API, the wire or `TestHost`, `apiVersion` stays `vestra/1`, no new capability. New since 1.5.58 for plugin authors: Markdown the user can select and copy (`selectable` on `MarkdownView` and `MarkdownBlocks`, `plain` and `links` on `MarkdownBlock`, in the SDK's copy of the player's `@vestra/markdown.slint`; a plugin that uses them sets `"minPlayerVersion": "0.6.8"`), and, from player 0.6.7, plugins started on demand by default: a plugin starts on its first use and is stopped when idle, so `activate` can run many times and must never wait for its own commands or views (see 1.5.58). This is a minor release because it adds backward-compatible API and marks that milestone; nothing is removed or changed, and a plugin built with 1.5.x keeps working as it is.
+
+- **Selectable Markdown** (player 0.6.8; the SDK's `slint/vestra/markdown.slint` is synced with the player's). `MarkdownView` and `MarkdownBlocks` take `in property <bool> selectable: false`. With `true`, a paragraph, heading, list item or quote without links is shown as its plain text in a read-only selectable text field (right-click Copy / Select All, where Copy with nothing selected copies the whole block; Ctrl+C / Ctrl+A; each field is a Tab stop); a block with links keeps its clickable links, and its right-click menu copies it as plain text with each address after its link text, `text (url)`, plus Copy Link when it has one link. Code blocks are always selectable, whatever `selectable` says (in player 0.6.8 this applies to every plugin's Markdown). A selection stays inside one block and is lost when its row scrolls out of a `MarkdownView`. `MarkdownBlock` gains `plain: string` (the block as plain text) and `links: [string]` (its link addresses). Older players do not have the property: set `"minPlayerVersion": "0.6.8"` before using it. See [Reference: theme › Markdown](docs/reference/theme.md#markdown).
+- **Start retries corrected** ([How the player runs and talks to plugins](docs/explanation/host-and-node.md#the-start-deadline), [Reference: limits](docs/reference/limits.md#plugin-processes), [How a plugin runs](docs/explanation/plugins.md#restarts-activate-can-run-more-than-once)). 1.5.58 said a start that is not ready within the start timeout is tried up to three more times. That was player 0.6.6; from player 0.6.7 a timed-out start gets one try (60 s) and is not retried, and only a process that cannot be created is tried again (about 250 ms, 500 ms and 1 s apart).
+
+## 1.5.58
+
+**Who must change: nobody.** Documentation only: no change to the TypeScript API, the wire or `TestHost`, `apiVersion` stays `vestra/1`, no new capability, no player version needed. Plugin authors should read what the player's new plugin supervisor does with their plugin (player 0.6.6, and the defaults planned for 0.6.7), and check that `activate` never waits for its own commands or views.
+
+- **The plugin supervisor, as a plugin sees it** ([How the player runs and talks to plugins](docs/explanation/host-and-node.md), [How a plugin runs](docs/explanation/plugins.md)). Player 0.6.6: a failed start is tried up to three more times; a built-in that crashes starts again by itself after 3 s, 6 s…; the fifth crash within 10 minutes stops a plugin until it is reloaded; an own process's JavaScript heap is capped at 512 MB (V8's heap only, not `Buffer` contents or addons), and passing it ends the process with "<name> ran out of memory"; a process that ended by itself gets no `runtime.stop`; without on-demand start a third-party plugin is listed as failed on its first crash, as before; at quit every plugin is stopped at once with 1 s in all; and two processes of one plugin never use its data directory at the same time. With on-demand start (lazy activation, `VESTRA_LAZY=1` in 0.6.6): a crashed plugin keeps its entries, shown disabled with the reason during a pause of 1 s, 2 s, 4 s…, and starts again on its next use (a resident plugin by itself); third-party plugins start a few at a time, clicks first; every start holds its clicks, resolutions, drops and view callbacks until `runtime.ready` (so an `activate` that awaits its own command or view callback waits until the start timeout); at most 64 are held per plugin, and one that cannot be taken is answered ("<name> is busy", "… could not start", "… is disabled") instead of dropped; busy work (a `busy` command, a dialog, a settings page shown, a resolution) keeps a plugin running with no time limit, and its idle time counts from when the work ends. Planned for player 0.6.7: on-demand start for everyone; a process budget for the machine's memory and the system's memory pressure put idle plugins in standby early, with the stop reason `idle`; idle time 30 s, start timeout 60 s, 5 s grace for a disable, uninstall, reload, upgrade or standby, a 5-minute cap on a player request awaiting the plugin's reply (a resolution; declared busy work stays uncapped), and a resident plugin never goes to standby. The source excerpts of host code that no longer exists (the lazy-activation trigger list, the 15-second activation record, the 250 ms idle poll, the stop's 5 ms poll) are replaced by descriptions of the current behaviour.
+- **[Reference: limits › Plugin processes](docs/reference/limits.md#plugin-processes)**: heap cap, start timeout, retries, start limit, restart pauses, stop graces, quit, idle time, request timeout, start slots (`min(4, max(2, cores / 2))` plus a reserve for clicks), held triggers (64), waiting starts (256), the process budget (`clamp(physical MiB / 2 × 0.30 / 85, 3, 16)`) and the memory pressure thresholds (both planned for 0.6.7), for player 0.6.6 and as planned for 0.6.7.
+- **`StopReason`** lists when each reason comes with the supervisor: `quit` also after a lost GPU device, `disable` clears session storage, `idle` also for the process budget and memory pressure (planned for 0.6.7; never for a busy plugin), `failed` also for a start timeout (possibly while `activate` runs) and, planned for 0.6.7, an unanswered request; a crash or running out of memory is no stop at all. The stop reasons are no longer described as planned: they shipped in player 0.6.4. **`PluginInfo.process`** `"idle"` also covers the pause after a crash before a plugin starts again. `Plugin`, `DisposeInfo` and [Store a plugin's data](docs/how-to/store-data.md) give the new stop graces.
+- **`appearance.changed` says what changed** (player 0.6.6): `"changed": ["theme"]` or `["language"]` beside `theme` and `language`. This SDK does not read it yet; a later release uses it so that a plugin woken by a language change no longer hears its unchanged theme once.
+
 ## 1.5.57
 
 **Who must change: nobody.** The first npm release with 1.5.56's fix: no change to the TypeScript API or the wire, `apiVersion` stays `vestra/1`, no new capability, no player version needed.

package/dist/plugin/types.d.ts

@@ -524,8 +524,10 @@ export interface Scope extends Disposable {
  * (menus, windows, panels, filters, subtitle layers, snapshots, jobs,
  * resolvers, streams); pending requests then fail with `disabled` and the
  * root scope is disposed for local cleanup (timers, signals, sockets). A
- * process that has not exited after 300 ms is killed. Media the plugin
- * opened with {@link Player.open} keeps playing.
+ * process that has not exited after its grace is killed: 300 ms in player
+ * 0.6.6 (2 s when it goes to standby), planned to be 5 s from player 0.6.7
+ * (300 ms after a fault); at quit all plugins together get 1 s. Media the
+ * plugin opened with {@link Player.open} keeps playing.
  *
  * @example Write a minimal plugin with one menu item
  * Tools ▸ Say hello, or Ctrl+H, shows "Hello from" and the plugin's id.
@@ -575,8 +577,8 @@ export interface Plugin extends Scope {
      */
     readonly dataDirectory: string;
     /**
-     * Why the player stops this plugin (SDK 1.5.54; the reasons are planned
-     * for player 0.6.4): set when the stop begins, before any
+     * Why the player stops this plugin (SDK 1.5.54, player 0.6.4): set when
+     * the stop begins, before any
      * {@link Scope.onDispose} cleanup runs. `undefined` while the plugin
      * runs, and for every stop by an older player (one whose own SDK is older
      * than 1.5.54 does not have the property at all). See {@link StopReason}.
@@ -587,23 +589,40 @@ export interface Plugin extends Scope {
  * Why the player stopped the plugin ({@link DisposeInfo.reason},
  * {@link Plugin.stopReason}).
  *
- * - `quit`: the player quits.
- * - `disable`: the user disabled the plugin.
+ * - `quit`: the player quits (or restarts after a lost GPU device). Every
+ *   plugin is stopped at the same time, with 1 s in all (300 ms after a
+ *   lost device; player 0.6.6).
+ * - `disable`: the user, or a plugin with `plugins.manage`, switched the
+ *   plugin off. Its session storage is cleared.
  * - `uninstall`: the user uninstalls it.
  * - `reload`: it is reloaded (from the plugin manager, or a development
  *   load with `--plugin`).
  * - `upgrade`: an install or update replaces the running version; also a
  *   new version stopped because its install was cancelled (the previous
  *   version comes back).
- * - `idle`: lazy activation parks it; its next use starts it again
+ * - `idle`: the plugin goes to standby and its next use starts it again;
+ *   its menu items, keys, settings pages, resolvers and drop targets stay,
+ *   and so does its session storage
  *   ([Idle plugins](../../docs/explanation/plugins.md#idle-plugins-are-stopped)).
- *   Lazy activation is off by default (`VESTRA_LAZY=1` turns it on); when
- *   on, it parks a plugin after a while without use, and parks one whose
- *   first run it judges lazy right after it is ready.
+ *   Only with on-demand start (lazy activation), off by default up to
+ *   player 0.6.6 (`VESTRA_LAZY=1` turns it on) and planned for everyone in
+ *   player 0.6.7. It comes after the idle time without use (60 s; 30 s
+ *   planned for 0.6.7), right after a first run that holds nothing live,
+ *   and when the player's limit on third-party processes or low system
+ *   memory puts an idle plugin in standby early (planned for 0.6.7). A busy
+ *   plugin never gets it; a resident one (it held something live when it
+ *   became ready) only after the idle time, and from player 0.6.7 (planned)
+ *   never.
  * - `failed`: the player stops it for a fault it can still tell the plugin
- *   about (planned to cover a malformed request, an unreadable or
- *   oversized line, an activation timeout, an uncaught exception the
- *   shared process attributes to this plugin).
+ *   about: a malformed request, an unreadable or oversized line, a start
+ *   that is not ready within the start timeout (15 s; 60 s planned for
+ *   player 0.6.7; the stop may come while `activate` still runs), an
+ *   uncaught exception the shared process attributes to this plugin, and,
+ *   planned for player 0.6.7, a request from the player (a resolution) it
+ *   leaves unanswered for 5 minutes. From player 0.6.6 the player may
+ *   start it again afterwards (a built-in or resident plugin by itself, a
+ *   plugin with on-demand start on its next use), until the fifth fault
+ *   within 10 minutes.
  * - `host-lost`: the plugin's runner saw its pipe to the player close
  *   without a stop: the player crashed or was killed. Requests are refused
  *   with `disabled`; clean up locally only. Player 0.6.4 sends `quit` on a
@@ -614,20 +633,22 @@ export interface Plugin extends Scope {
  * {@link Scope.onDispose} cleanups do not run. That is the case when its
  * own process is killed because its input queue is full or a write to it
  * failed, when its own process fails to activate (the runner exits without
- * cleaning up), when the process has already exited, and when the shared
- * runner is restarted as a whole (a hang, a fault it cannot attribute, an
- * unreadable line of its own, a member's full input queue, the runner
- * exiting): every member is killed with it. Keep state that must survive
- * such an end in storage as it changes, not only in a cleanup.
- *
- * Planned for player 0.6.4: the player sends the reason with
- * `runtime.stop` and its runner reports `host-lost`; the exact list may
- * still change with that release. Players up to 0.6.3 give no reason for
- * any stop, a lost player included (`undefined`); so does a stop that
- * does not come from the player (a `TestHost` `stop()` without a reason).
- * A value this SDK does not know reads as `undefined`.
- *
- * @player 0.6.4 (planned); older players give no reason (`undefined`).
+ * cleaning up), when the process ended by itself (it crashed, or its
+ * JavaScript heap passed the 512 MB cap of player 0.6.6 and V8 ended it:
+ * "ran out of memory"), and when the shared runner is restarted as a whole
+ * (a hang, a fault it cannot attribute, an unreadable line of its own, a
+ * member's full input queue, the runner exiting): every member is killed
+ * with it. Keep state that must survive such an end in storage as it
+ * changes, not only in a cleanup. Timings and restarts are in
+ * [How the player runs and talks to plugins](../../docs/explanation/host-and-node.md#crashes-and-restarts).
+ *
+ * Player 0.6.4 and later send the reason with `runtime.stop`, and their
+ * runner reports `host-lost`. Players up to 0.6.3 give no reason for any
+ * stop, a lost player included (`undefined`); so does a stop that does not
+ * come from the player (a `TestHost` `stop()` without a reason). A value
+ * this SDK does not know reads as `undefined`.
+ *
+ * @player 0.6.4; older players give no reason (`undefined`).
  * @since 1.5.54
  * @category Plugin
  */
@@ -647,8 +668,9 @@ export interface DisposeInfo {
      */
     readonly stopping: boolean;
     /**
-     * Why the player stops the plugin (planned for player 0.6.4); `undefined` while
-     * `stopping` is false, and for every stop by an older player.
+     * Why the player stops the plugin (player 0.6.4; the causes are listed at
+     * {@link StopReason}); `undefined` while `stopping` is false, and for
+     * every stop by an older player.
      */
     readonly reason?: StopReason;
 }
@@ -1751,6 +1773,13 @@ export interface Ui {
      * the list on every streamed chunk keeps the scroll position and costs
      * little.
      *
+     * From player 0.6.8 both views take `selectable: true` (default `false`):
+     * the user can select and copy the text, one block at a time; blocks with
+     * links keep their clickable links and copy as `text (url)`. Code blocks
+     * are always selectable. `MarkdownBlock.plain` (the block as plain text)
+     * and `MarkdownBlock.links` (its link addresses) are readable in Slint.
+     * See [Reference: theme › Markdown](../../docs/reference/theme.md#markdown).
+     *
      * @capability None.
      * @player 0.2.0 (set `"minPlayerVersion": "0.2.0"` in the manifest)
      *
@@ -8813,11 +8842,19 @@ export interface PluginInfo {
     display?: PluginDisplay;
     /**
      * For `state: "running"`: `"running"` while its process runs, `"idle"`
-     * while the player stopped it because nothing used it (lazy activation:
-     * it starts again on its next use, its menu items, keys, settings pages,
-     * resolvers and drop targets stay). Absent in other states and from
-     * players before 0.5.18. A change between the two alone does not fire
-     * {@link Packages.onChange}.
+     * while the plugin is switched on but has no process. That is standby
+     * with on-demand start (lazy activation): nothing used it for the idle
+     * time, or the player's limit on third-party processes or low system
+     * memory stopped it early (planned for player 0.6.7); it starts again on its next
+     * use, and its menu items, keys, settings pages, resolvers and drop
+     * targets stay. From player 0.6.6 it is also the pause after a crash: a
+     * built-in or resident plugin waiting to start again by itself, or a
+     * plugin with on-demand start whose commands are shown disabled with the
+     * reason until the pause ends. Absent in other states and from players
+     * before 0.5.18. A change between the two alone does not fire
+     * {@link Packages.onChange}; a plugin stopped by the start limit (five
+     * crashes within 10 minutes) is `state: "failed"` with that in
+     * {@link PluginInfo.error}.
      *
      * @since 1.5.38
      */

package/llms.txt

@@ -1,6 +1,6 @@
 # Vestra Player SDK
 
-> @vestra-player/sdk 1.5.57: write plugins for Vestra Player in TypeScript (plugin API `vestra/1`). A plugin is a folder with `manifest.json` and an entry module whose default export `activate(plugin)` the player calls. The documentation is a tree of short pages read by path, like `go doc`: the same pages and API as https://vestrasys.github.io/vestra-player-sdk/.
+> @vestra-player/sdk 1.6.0: write plugins for Vestra Player in TypeScript (plugin API `vestra/1`). A plugin is a folder with `manifest.json` and an entry module whose default export `activate(plugin)` the player calls. The documentation is a tree of short pages read by path, like `go doc`: the same pages and API as https://vestrasys.github.io/vestra-player-sdk/.
 
 ## Read the documentation
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@vestra-player/sdk",
-  "version": "1.5.57",
+  "version": "1.6.0",
   "description": "Plugin API types, test host and plugin CLI for Vestra Player (apiVersion vestra/1)",
   "license": "Apache-2.0",
   "repository": {

package/slint/vestra/markdown.slint

@@ -9,7 +9,15 @@
 // row (a chat message: a `[MarkdownBlock]` field of the row's struct).
 // `code-copy: true` adds a Copy button to code blocks that reports
 // `copy-code(code)`; the plugin copies it (`plugin.clipboard`).
-import { ListView } from "std-widgets.slint";
+// `selectable: true` lets the user select and copy text with the mouse:
+// paragraphs, headings, list items and quotes without links then show their
+// plain text (`MarkdownBlock.plain`, no inline styles) in a read-only text
+// field, one field per block, with a Copy / Select All menu. A block with
+// links keeps its styled text (links stay clickable); its right-click menu
+// copies the block as plain text with each address after its link text,
+// `text (url)`, and offers Copy Link when the block has one link. Code
+// blocks are always selectable.
+import { ListView, Palette } from "std-widgets.slint";
 import { Theme } from "theme.slint";
 import { Icon } from "icons.slint";
 
@@ -36,21 +44,130 @@ export struct MarkdownBlock {
     // Task list item: 0 none, 1 open, 2 done (a drawn box, no font glyph).
     task: int,
     text: styled-text,
+    // The block's text without styles, what `selectable` shows: a code
+    // block's code, a table's cells (tab-separated lines), an image's alt.
+    plain: string,
     code: string,
     image: image,
     has-image: bool,
     image-width: int,
     image-height: int,
     alt: string,
+    // The addresses of the block's links, in order.
+    links: [string],
     rows: [MarkdownRow],
     // Table column alignment: "left", "center", "right" or "" (left).
     aligns: [string],
 }
 
+// Read-only text the user can select: a right-click menu with Copy and
+// Select All (as Slint's own text fields; Copy without a selection copies
+// the whole block), and Ctrl+C / Ctrl+A (⌘C / ⌘A) while it has focus. No
+// caret, as selectable text on a web page. Each one is a Tab stop, and
+// while one has focus the arrow keys move in it (Slint 1.18's read-only
+// TextInput).
+component SelectableText {
+    in property <string> text;
+    in property <brush> color: Theme.text;
+    in property <length> font-size: Theme.font-tab;
+    in property <int> font-weight: 400;
+    in property <string> font-family;
+    min-height: input.min-height;
+    preferred-height: input.preferred-height;
+    ContextMenuArea {
+        Menu {
+            MenuItem {
+                title: @tr("Copy");
+                enabled: root.text != "";
+                activated => {
+                    if input.anchor-position-byte-offset == input.cursor-position-byte-offset {
+                        input.select-all();
+                        input.copy();
+                        input.clear-selection();
+                    } else {
+                        input.copy();
+                    }
+                }
+            }
+            MenuItem {
+                title: @tr("Select All");
+                enabled: root.text != "";
+                activated => { input.select-all(); }
+            }
+        }
+        input := TextInput {
+            width: root.width;
+            height: root.height;
+            text: root.text;
+            read-only: true;
+            single-line: false;
+            wrap: word-wrap;
+            color: root.color;
+            font-size: root.font-size;
+            font-weight: root.font-weight;
+            font-family: root.font-family;
+            text-cursor-width: 0px;
+            // The std-widgets LineEdit's selection colours, legible in both
+            // palettes (as the info plugin's properties).
+            selection-background-color: Palette.selection-background;
+            selection-foreground-color: Palette.selection-foreground;
+        }
+    }
+}
+
+// A block with links in a selectable view: its styled text (links stay
+// clickable) under a right-click menu that copies `plain` (with the
+// addresses) and, for one link, the link. The menu lies above the text: a
+// left click passes through it to the links.
+component LinkText {
+    in property <styled-text> text;
+    in property <string> plain;
+    in property <[string]> links;
+    in property <brush> color: Theme.text;
+    in property <length> font-size: Theme.font-tab;
+    callback link-clicked(string);
+    min-height: styled.min-height;
+    preferred-height: styled.preferred-height;
+    function put(text: string) {
+        clip.text = text;
+        clip.select-all();
+        clip.copy();
+    }
+    styled := StyledText {
+        width: root.width;
+        height: root.height;
+        text: root.text;
+        default-color: root.color;
+        default-font-size: root.font-size;
+        link-color: Theme.accent;
+        link-clicked(url) => { root.link-clicked(url); }
+    }
+    ContextMenuArea {
+        Menu {
+            MenuItem {
+                title: @tr("Copy");
+                activated => { root.put(root.plain); }
+            }
+            if root.links.length == 1: MenuItem {
+                title: @tr("Copy Link");
+                activated => { root.put(root.links[0]); }
+            }
+        }
+    }
+    // Puts text on the clipboard (Slint has no clipboard function).
+    clip := TextInput {
+        visible: false;
+        width: 0px;
+        height: 0px;
+        read-only: true;
+    }
+}
+
 component MarkdownBlockView {
     in property <MarkdownBlock> block;
     in property <length> available;
     in property <bool> code-copy;
+    in property <bool> selectable;
     callback link-clicked(string);
     callback copy-code(string);
     private property <length> quote-indent: block.quote * 12px;
@@ -61,7 +178,21 @@ component MarkdownBlockView {
     HorizontalLayout {
         padding-left: root.quote-indent + root.list-indent;
         VerticalLayout {
-            if block.kind == "heading": StyledText {
+            if block.kind == "heading" && root.selectable && block.links.length > 0: LinkText {
+                width: root.inner;
+                text: block.text;
+                plain: block.plain;
+                links: block.links;
+                font-size: root.heading-size;
+                link-clicked(url) => { root.link-clicked(url); }
+            }
+            if block.kind == "heading" && root.selectable && block.links.length == 0: SelectableText {
+                width: root.inner;
+                text: block.plain;
+                font-size: root.heading-size;
+                font-weight: 700;
+            }
+            if block.kind == "heading" && !root.selectable: StyledText {
                 width: root.inner;
                 text: block.text;
                 default-color: Theme.text;
@@ -69,7 +200,20 @@ component MarkdownBlockView {
                 link-color: Theme.accent;
                 link-clicked(url) => { root.link-clicked(url); }
             }
-            if block.kind == "paragraph": StyledText {
+            if block.kind == "paragraph" && root.selectable && block.links.length > 0: LinkText {
+                width: root.inner;
+                text: block.text;
+                plain: block.plain;
+                links: block.links;
+                color: block.quote > 0 ? Theme.text-dim : Theme.text;
+                link-clicked(url) => { root.link-clicked(url); }
+            }
+            if block.kind == "paragraph" && root.selectable && block.links.length == 0: SelectableText {
+                width: root.inner;
+                text: block.plain;
+                color: block.quote > 0 ? Theme.text-dim : Theme.text;
+            }
+            if block.kind == "paragraph" && !root.selectable: StyledText {
                 width: root.inner;
                 text: block.text;
                 default-color: block.quote > 0 ? Theme.text-dim : Theme.text;
@@ -106,7 +250,18 @@ component MarkdownBlockView {
                         }
                     }
                 }
-                StyledText {
+                if root.selectable && block.links.length > 0: LinkText {
+                    width: root.inner - 20px;
+                    text: block.text;
+                    plain: block.plain;
+                    links: block.links;
+                    link-clicked(url) => { root.link-clicked(url); }
+                }
+                if root.selectable && block.links.length == 0: SelectableText {
+                    width: root.inner - 20px;
+                    text: block.plain;
+                }
+                if !root.selectable: StyledText {
                     width: root.inner - 20px;
                     text: block.text;
                     default-color: Theme.text;
@@ -123,12 +278,12 @@ component MarkdownBlockView {
                 VerticalLayout {
                     padding: 6px;
                     // Plain lines in the monospace font; CJK falls back.
-                    StyledText {
+                    // Always selectable: code is there to be copied.
+                    SelectableText {
                         width: root.inner - 12px;
-                        text: block.text;
-                        default-color: Theme.text;
-                        default-font-family: Theme.font-mono;
-                        default-font-size: Theme.font-body;
+                        text: block.code;
+                        font-family: Theme.font-mono;
+                        font-size: Theme.font-body;
                     }
                 }
                 if root.code-copy: Rectangle {
@@ -216,6 +371,8 @@ export component MarkdownBlocks inherits Rectangle {
     in property <[MarkdownBlock]> blocks;
     // A Copy button on code blocks, reporting `copy-code(code)`.
     in property <bool> code-copy: false;
+    // Text the user can select and copy (see the top of this file).
+    in property <bool> selectable: false;
     callback link-clicked(string);
     callback copy-code(string);
     min-height: column.min-height;
@@ -228,6 +385,7 @@ export component MarkdownBlocks inherits Rectangle {
             block: block;
             available: root.width;
             code-copy: root.code-copy;
+            selectable: root.selectable;
             link-clicked(url) => { root.link-clicked(url); }
             copy-code(code) => { root.copy-code(code); }
         }
@@ -244,6 +402,10 @@ export component MarkdownView inherits Rectangle {
     in property <length> inset: 10px;
     // A Copy button on code blocks, reporting `copy-code(code)`.
     in property <bool> code-copy: false;
+    // Text the user can select and copy (see the top of this file). A
+    // selection is lost when its block scrolls out of view (the `ListView`
+    // drops the row).
+    in property <bool> selectable: false;
     callback link-clicked(string);
     callback copy-code(string);
     list := ListView {
@@ -261,6 +423,7 @@ export component MarkdownView inherits Rectangle {
                 block: block;
                 available: self.width;
                 code-copy: root.code-copy;
+                selectable: root.selectable;
                 link-clicked(url) => { root.link-clicked(url); }
                 copy-code(code) => { root.copy-code(code); }
             }