v1.25.3

Changelog

• bug fixes
  • input: rendering issues with big font sizes
  • panel: tab rendering issue when initialized with a non-numeric value
  • panel: minor style issue in tab navigation bar
  • scripting: scripting functions not working inside browseFile() callback
  • scripting: using external: true in set() should prevent affected widget from sending any message
  • button: inconsistent value in push mode with decoupled enabled when setting value from script