Lemma 3.3.0

What's new

Reading, refined by Lemma's first contributor. Six changes by @SonglanNie, who made them while reading with Lemma:

• Gap between pages. Pages are 8 pt apart instead of 32, and Settings › Reading › Gap between pages sets the gap from 0 to 32 pt. The reader, the side view and reference previews follow at once, keeping your place.
• Reference previews can be dragged off into a window of their own. They open at the page's width, and neither they nor the side view select the referenced label any more: on a PDF whose text layer is misaligned, the selection covered the wrong glyphs.
• Go to keeps your zoom and horizontal position, and scrolls sideways only when the item would be off screen. The box flashed around an equation fits the equation and its label, and a link to (15) goes to (15a)–(15c) together.
• Citations written right after a word, as in "and(24a)" when a PDF's text layer lost the space, are counted. "f(2)" and "exp(1)" still are not.
• The notebook panel has a close button, in the VS Code-style and the Classic window.
• ⌘F puts the cursor in the find field even when the page-number field had it, and Return in the page-number field gives the keyboard back to the page.

Books are read again once after the update, since equation regions and citation counts are computed differently.

Install or update

• From Lemma 3.1 or later: choose Lemma › Check for Updates…: Lemma shows what is new, installs 3.3.0 and relaunches. If you turned on the daily check, it offers the update by itself.
• From Lemma 3.0: download Lemma-3.3.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.3.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: d67af73d9b58d36f69c0e4b995b814ec979e445546ac47d891dc53f2bafa4b58

Everything earlier releases brought is in the changelog.