v1.25.2

Changelog

• bug fixes
  • textarea: escape key not restoring previous value
  • scripting: setFocus(id) not affecting textarea widgets
  • led, text, variable: value not synchronized between different clients
  • error when running from sources on Mac