Skip to content

[Compare] Apply editor selection colors to merge viewer panes#2657

Merged
tobiasmelcher merged 1 commit into
eclipse-platform:masterfrom
tobiasmelcher:selection_colors
May 12, 2026
Merged

[Compare] Apply editor selection colors to merge viewer panes#2657
tobiasmelcher merged 1 commit into
eclipse-platform:masterfrom
tobiasmelcher:selection_colors

Commits

Commits on May 12, 2026