 Chromium Code Reviews
 Chromium Code Reviews Issue 1803813002:
  [DevTools] Added keyboard search while in sources  (Closed) 
  Base URL: https://chromium.googlesource.com/chromium/src.git@master
    
  
    Issue 1803813002:
  [DevTools] Added keyboard search while in sources  (Closed) 
  Base URL: https://chromium.googlesource.com/chromium/src.git@master| Index: third_party/WebKit/Source/devtools/front_end/ui/treeoutline.css | 
| diff --git a/third_party/WebKit/Source/devtools/front_end/ui/treeoutline.css b/third_party/WebKit/Source/devtools/front_end/ui/treeoutline.css | 
| index e0a044cb6d7b499fb1476864197edf1a13be1240..f9c2fdd384e920be9da358d7d2faa8ea955e12ec 100644 | 
| --- a/third_party/WebKit/Source/devtools/front_end/ui/treeoutline.css | 
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/treeoutline.css | 
| @@ -125,3 +125,7 @@ ol.tree-outline:focus li.selected * { | 
| .tree-outline ol.children.expanded { | 
| display: block; | 
| } | 
| + | 
| +.tree-text-interactive-highlight { | 
| + text-decoration:underline; | 
| 
pfeldman
2016/03/14 23:51:34
text-decoration:<space>underline;
 
Allada-Google
2016/03/15 17:13:07
Acknowledged.
 | 
| +} |