Describe the bug
If a tab was opened since the settings dialog was opened, any change in editor settings won't apply to it.
To Reproduce
Steps to reproduce the behavior:
Open settings
While the settings dialog is still shown, open an editor tab
Make changes to the editor settings: colors, font size, etc.
Click on Apply / Accept
The opened editor tab will look exactly as before
Expected behavior
The changes in editor settings should be applied to any open editor tab, no matter when they were opened.
Additional context
The changes apply if the editor tab is reopened or if the tool is restarted, so it is only a temporary issue. This occurs because the settings dialog holds a reference to all tabs opened but the latter isn't refreshed when it should.
Describe the bug If a tab was opened since the settings dialog was opened, any change in editor settings won't apply to it.
To Reproduce Steps to reproduce the behavior:
Expected behavior The changes in editor settings should be applied to any open editor tab, no matter when they were opened.
Additional context The changes apply if the editor tab is reopened or if the tool is restarted, so it is only a temporary issue. This occurs because the settings dialog holds a reference to all tabs opened but the latter isn't refreshed when it should.