Lemma 3.4.0

What's new

Peeks you can keep in sight.

• Move a peek by dragging its title bar: it then stays open while you read on, scroll and click elsewhere, until you close it. In the Classic window, drag the popover away from its reference.
• ⇧-click another reference to open its peek beside the ones already open, so that a figure and the theorem that uses it stay in sight together. ⇧-clicking a reference whose peek is open brings that peek forward; with text selected, ⇧-click still extends the selection.
• Peeks open with the page at a little less than your reading zoom, as wide as the page and within 70% of the window, instead of 556 points whatever the zoom. Drag a peek's right edge, its bottom edge or the corner between them to resize it, and the page refits to the new width. By @SonglanNie.

Fixed.

• The Classic peek no longer grows off the screen's edge away from its reference, and resizing a peek dragged away from its reference no longer makes Lemma quit. By @SonglanNie.
• The Library shows it is scanning from the moment a PDF is dropped on it, instead of reading as up to date until the PDF appears. By @SonglanNie.

Install or update

• From Lemma 3.1 or later: choose Lemma › Check for Updates…: Lemma shows what is new, installs 3.4.0 and relaunches. If you turned on the daily check, it offers the update by itself.
• From Lemma 3.0: download Lemma-3.4.0.dmg below and drag Lemma into Applications, replacing the old one. From then on, Lemma installs its updates itself.
• New to Lemma: download Lemma-3.4.0.dmg, open it and drag Lemma into Applications (macOS 15 or later, Apple silicon or Intel). This build is not notarized by Apple, so the first time macOS says it cannot verify Lemma: click Done, open System Settings › Privacy & Security and click Open Anyway next to Lemma. You only do this once.

SHA-256 of the disk image: d1eb565fb5c86d628a58cf956223eb410e60b59b27ec7816ee777ad84b333130

Everything earlier releases brought is in the changelog.