Re: Proposal to allow setting cursor options on Portals

On Tue, Jan 6, 2026 at 4:14 AM Dave Cramer <davecramer@gmail.com> wrote:
> Any progress on this ?

Well, I'd hoped that you and Jelte would maybe hash out your
differences in opinion a bit before I jumped back in. You think
extensions are orthogonal -- seemingly negating the primary advantage
cited for regular minor bumps? -- but Jelte is optimizing for
interrelated features.

--Jacob