Title: [149025] trunk/Source/WebKit2
- Revision
- 149025
- Author
- [email protected]
- Date
- 2013-04-24 03:50:40 -0700 (Wed, 24 Apr 2013)
Log Message
Web Inspector: Add number to list from remote web inspector.
https://bugs.webkit.org/show_bug.cgi?id=115014
Patch by Seokju Kwon <[email protected]> on 2013-04-24
Reviewed by Benjamin Poulain.
* UIProcess/InspectorServer/front-end/inspectorPageIndex.html:
Modified Paths
Diff
Modified: trunk/Source/WebKit2/ChangeLog (149024 => 149025)
--- trunk/Source/WebKit2/ChangeLog 2013-04-24 10:48:26 UTC (rev 149024)
+++ trunk/Source/WebKit2/ChangeLog 2013-04-24 10:50:40 UTC (rev 149025)
@@ -1,3 +1,12 @@
+2013-04-24 Seokju Kwon <[email protected]>
+
+ 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 <[email protected]>
--minimal build fails with error: Source/WebKit2/Platform/CoreIPC/ArgumentCoder.h:44:36: error: decode is not a member of WebCore::TextCheckingResult
Modified: trunk/Source/WebKit2/UIProcess/InspectorServer/front-end/inspectorPageIndex.html (149024 => 149025)
--- trunk/Source/WebKit2/UIProcess/InspectorServer/front-end/inspectorPageIndex.html 2013-04-24 10:48:26 UTC (rev 149024)
+++ trunk/Source/WebKit2/UIProcess/InspectorServer/front-end/inspectorPageIndex.html 2013-04-24 10:50:40 UTC (rev 149025)
@@ -9,15 +9,19 @@
var pages = JSON.parse(xhr.responseText);
if (pages.length)
document.getElementById("noPageNotice").style.display = "none";
+
+ var pageList = document.createElement("ol");
for (var i in pages) {
var link = document.createElement("a");
var title = pages[i].title ? pages[i].title : ("Page " + (Number(pages[i].id)));
var url = ""
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);
}
};
xhr.send();
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
