PR #4690 merged into devel

7 views

Skip to first unread message

unread,

May 20, 2026, 1:58:16 AM (yesterday) May 20

to leo-editor

PR #4690 restores search settings after searching for an abbreviation placeholder (<|...|>). Doing so is essential, imo.

Please continue testing of the "devel" branch. Thanks!

Edward

Reply all

Reply to author

Forward

0 new messages