Patch notes v1.3 → v1.3.1:

v1.3.1 May. 14, 2024

Improved usability, fixed some bugs.

• Fixed an indent/unindent bug with context menu
• Fixed a selection positioning issue after comment/uncomment
• Fixed a shortcut handling bug of closing searching bar with Escape
• Fixed a potential crash bug when search for the first time
• Improved usability with touch screen
• Improved asset corruption notification