Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-12 00:45:33 +01:00
Code Issues Projects Releases Packages Wiki Activity

Merge pull request #3420 from glennw/table-debug

Browse source 
Adds support for table layout trace and updates viewer for tables.
This commit is contained in:
Patrick Walton 2014-09-19 19:50:47 -07:00
commit ccda8f204a
9 changed files with 118 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

30
etc/layout_viewer/viewer.html
View file

@ -89,16 +89,26 @@
<script src="js/formatters.min.js"></script>
<script>
function get_base(node) {
if (node.data.base !== undefined) {
return node.data.base;
}
if (node.data.block_flow.base !== undefined) {
return node.data.block_flow.base;
}
throw "Unknown node type";
}
function create_flow_tree(trace_node) {
var node = {
text: trace_node.class + " (" + trace_node.data.base.id + ")",
id: trace_node.data.base.id,
text: trace_node.class + " (" + get_base(trace_node).id + ")",
id: get_base(trace_node).id,
icon: "dummy",
};
var children = [];
for (var i=0 ; i < trace_node.data.base.children.length ; ++i) {
children.push(create_flow_tree(trace_node.data.base.children[i]));
for (var i=0 ; i < get_base(trace_node).children.length ; ++i) {
children.push(create_flow_tree(get_base(trace_node).children[i]));
}
if (children.length > 0) {
@ -109,13 +119,13 @@
}
function create_flow_hash(trace_node, flow_hash) {
flow_hash[trace_node.data.base.id] = trace_node;
flow_hash[get_base(trace_node).id] = trace_node;
for (var i=0 ; i < trace_node.data.base.children.length ; ++i) {
create_flow_hash(trace_node.data.base.children[i], flow_hash);
for (var i=0 ; i < get_base(trace_node).children.length ; ++i) {
create_flow_hash(get_base(trace_node).children[i], flow_hash);
}
delete trace_node.data.base.children;
delete get_base(trace_node).children;
}
function flatten_trace(trace_node) {
@ -182,6 +192,10 @@
if (obj.data !== undefined && obj.data.base !== undefined) {
return obj.data.base.id;
}
if (obj.data !== undefined && obj.data.block_flow !== undefined &&
obj.data.block_flow.base !== undefined) {
return obj.data.block_flow.base.id;
}
if (obj.id !== undefined) {
return obj.id;
}