Skip to content

#715 JS/HTML codegen: better log panel performance + no state printing by default + settings button/menu

Dennis Hendriks requested to merge 715-html-codegen-state-printing-config into develop
  • Best to review per commit.
  • Changes:
    • State printing disabled by default (JS/HTML).
    • Improved performance of log panel (HTML).
    • Settings button/menu to enable/disable state and transition printing (HTML).
      • The settings menu is opened/closed by clicking the 'Settings' button.
      • The entire menu item is clickable to toggle settings.
    • Documentation improvements for state/transition printing (JS).

Addresses #715

Merge request reports