mirror of
https://bitbucket.org/librepilot/librepilot.git
synced 2025-01-18 03:52:11 +01:00
87632e6e13
in lazilly creating option pages when user selects them instead of creating them all upfront. Dummy placeholder widget (QLabel) are initially created instead of the real option page; this commit also fixes a minor issue where the left tree selection would not be in sync with the displayed option page (see Jira for more details).