fix webxdc title not updated in document title changes#3422

Merged

Simon-Laux merged 2 commits intomasterfrom simon/i3412-fix-webxdc-title-not-updated-in-document-title-changes

Sep 29, 2023

+36-5

Commits on Sep 29, 2023