Add global range selection sync to Gantt chart with toggle button#1221

aaanh wants to merge 5 commits into

eclipse-cdt-cloud:mastereclipse-cdt-cloud/theia-trace-extension:masterfrom

aaanh:aaanh/gantt/select-rangeaaanh/theia-trace-extension:aaanh/gantt/select-rangeCopy head branch name to clipboard