This repository was archived by the owner on Jul 9, 2025. It is now read-only.
fix: Made the default width of the Property Editor larger#4788
Merged
tonyanziano merged 2 commits intomainfrom Nov 12, 2020
Merged
fix: Made the default width of the Property Editor larger#4788tonyanziano merged 2 commits intomainfrom
tonyanziano merged 2 commits intomainfrom