ajaxorg/ace v1.23.3

on GitHub

Bug fixes

• Fix tmTheme tool by @NotLazy in #5238
• Update JSHint version to 2.13.6 by @mkslanc in #5243
• fix: android bug when deleting multiple lines by @akoreman in #5248

New Contributors

• @NotLazy made their first contribution in #5238

Full Changelog: v1.23.2...v1.23.3