Changeset 149025 in webkit

Timestamp:

Apr 24, 2013, 3:50:40 AM (12 years ago)

Author:

commit-queue@webkit.org

Message:

Web Inspector: Add number to list from remote web inspector.
​https://bugs.webkit.org/show_bug.cgi?id=115014

Patch by Seokju Kwon <Seokju Kwon> on 2013-04-24
Reviewed by Benjamin Poulain.

• UIProcess/InspectorServer/front-end/inspectorPageIndex.html:

Location:

trunk/Source/WebKit2

Files:

• ChangeLog (modified) (1 diff)
• UIProcess/InspectorServer/front-end/inspectorPageIndex.html (modified) (2 diffs)

trunk/Source/WebKit2/ChangeLog

@@ +1 @@
+2013-04-24  Seokju Kwon  <seokju.kwon@gmail.com>
+
+        Web Inspector: Add number to list from remote web inspector.
+        https://bugs.webkit.org/show_bug.cgi?id=115014
+
+        Reviewed by Benjamin Poulain.
+
+        * UIProcess/InspectorServer/front-end/inspectorPageIndex.html:
+
 2013-04-24  Vlad Vasilyeu  <vasvlad@gmail.com>
 

trunk/Source/WebKit2/UIProcess/InspectorServer/front-end/inspectorPageIndex.html

@@ -10 +10 @@
             if (pages.length)
                 document.getElementById("noPageNotice").style.display = "none";
+
+            var pageList = document.createElement("ol");
             for (var i in pages) {
                 var link = document.createElement("a");
@@ -16 +18 @@
                 link.appendChild(document.createTextNode(title + (url ? (" [" + url + "]") : "" )));
                 link.setAttribute("href", pages[i].inspectorUrl);
-                document.body.appendChild(link);
-                document.body.appendChild(document.createElement("br"));
+                var pageListItem = document.createElement("li");
+                pageListItem.appendChild(link);
+                pageList.appendChild(pageListItem);
             }
+            document.body.appendChild(pageList);
         }
     };