Merge pull request #12 from tahini/select_experiment

Highlight selected trace in trace explorer
eclipse-cdt-cloud · May 29, 2020 · e1968c5 · e1968c5
2 parents 21bbb26 + 26cd84a
commit e1968c5
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/viewer-prototype/src/browser/style/trace-explorer.css b/viewer-prototype/src/browser/style/trace-explorer.css
@@ -67,6 +67,10 @@
     grid-template-rows: auto;
 }
 
+.trace-element-container.theia-mod-selected {
+    background-color: var(--theia-selection-background);
+}
+
 .trace-element-info {
     overflow-x: hidden;
     grid-column-start: 1;

diff --git a/viewer-prototype/src/browser/trace-explorer/trace-explorer-widget.tsx b/viewer-prototype/src/browser/trace-explorer/trace-explorer-widget.tsx
@@ -262,9 +262,13 @@ export class TraceExplorerWidget extends ReactWidget {
                 prefix = '\n> ';
             }
         }
+        let traceContainerClassName = 'trace-element-container';
+        if (props.index == this.selectedExperimentIndex) {
+            traceContainerClassName = traceContainerClassName + ' theia-mod-selected';
+        }
         this.handleShareButtonClick = this.handleShareButtonClick.bind(this);
         return <div className='trace-list-container' key={props.key} style={props.style}>
-            <div className='trace-element-container'>
+            <div className={traceContainerClassName}>
                 <div className='trace-element-info' onClick={this.onExperimentSelected.bind(this, props.index)}>
                     <div className='trace-element-name'>
                         {traceName}