DevTools: add entry points for command menu

third_party/WebKit/Source/devtools/front_end/sources/sourcesView.css

Index: third_party/WebKit/Source/devtools/front_end/sources/sourcesView.css
diff --git a/third_party/WebKit/Source/devtools/front_end/sources/sourcesView.css b/third_party/WebKit/Source/devtools/front_end/sources/sourcesView.css
index d32d8ef9e362057c191f69ce79983cebd0bac522..b2308408f23df6f534e517caf9a2c9ef4364673f 100644
--- a/third_party/WebKit/Source/devtools/front_end/sources/sourcesView.css
+++ b/third_party/WebKit/Source/devtools/front_end/sources/sourcesView.css
@@ -92,6 +92,29 @@
     -webkit-user-modify: read-write;
 }
 
+.sources-placeholder {
+    font-size: 14px;
+    margin-top: 20px;
+    text-shadow: rgba(255, 255, 255, 0.75) 0 1px 0;
+    white-space: pre;

[chenwilliam, 2017/02/25 00:56:43]

we don't need this anymore right?

[luoe, 2017/03/09 18:48:28]

Done.

+    line-height: 2;
+}
+
+.sources-placeholder-row {
+    display: flex;
+}
+
+.sources-placeholder-key {
+    flex: 1;
+    text-align: right;
+    padding-right: 15px
+}
+
+.sources-placeholder-value {
+    flex: 1;
+    padding-left: 15px
+}
+
 @-webkit-keyframes source-frame-value-update-highlight-animation {
     from {
         background-color: inherit;