Skip to content

Rely on IConfigurationService change event to update model options#13994

Merged
tsmaeder merged 1 commit intoeclipse-theia:masterfrom tsmaeder:13920_model_optionsAug 21, 2024

Commits

Commits on Aug 2, 2024