LeoInteg 1.0.13 Released!

[Félix]

I'd like to announce the release of LeoInteg 1.0.13 !

Available to all leonistas via automatic update, or on the vscode marketplace and the open-vsx marketplace!

This version is a bugfix release:

- Added missing find panel settings toggle commands to the minibuffer override.
- Fixed setting synchronization that was lagging by one change when going from vscode to leoInteg's welcome/setting panel.

Please try it out and report any bugs or issues on the project's issue page while I try to whip up an alpha release of leojs ;)

Also, I'd also like to give many thanks to all the users, supporters and contributors! 🦁

Félix

[Edward K. Ream]

On Tuesday, April 4, 2023 at 10:37:18 PM UTC-5 Félix wrote:

> I'd like to announce the release of LeoInteg 1.0.13 !

Pretty small bug list. Keep up your great work :-)

Edward