Skip to content

styling: TreeWidget Highlighted nodes full display#12470

Merged
vince-fugnitto merged 1 commit intoeclipse-theia:masterfrom FernandoAscencio:fa/TreeWidgetNodeStylingJul 13, 2023

Commits

Commits on Jul 5, 2023