| OLD | NEW | 
|---|
| 1 <!-- | 1 <!-- | 
| 2  Copyright (C) 2012 Google Inc. All rights reserved. | 2  Copyright (C) 2012 Google Inc. All rights reserved. | 
| 3 | 3 | 
| 4  Redistribution and use in source and binary forms, with or without | 4  Redistribution and use in source and binary forms, with or without | 
| 5  modification, are permitted provided that the following conditions | 5  modification, are permitted provided that the following conditions | 
| 6  are met: | 6  are met: | 
| 7 | 7 | 
| 8  1.  Redistributions of source code must retain the above copyright | 8  1.  Redistributions of source code must retain the above copyright | 
| 9      notice, this list of conditions and the following disclaimer. | 9      notice, this list of conditions and the following disclaimer. | 
| 10  2.  Redistributions in binary form must reproduce the above copyright | 10  2.  Redistributions in binary form must reproduce the above copyright | 
| (...skipping 336 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 347     context.font = "20px "; | 347     context.font = "20px "; | 
| 348     switch (platform) { | 348     switch (platform) { | 
| 349     case "windows": context.font = "14px Consolas"; break; | 349     case "windows": context.font = "14px Consolas"; break; | 
| 350     case "mac": context.font = "14px Menlo"; break; | 350     case "mac": context.font = "14px Menlo"; break; | 
| 351     case "linux": context.font = "14px dejavu sans mono"; break; | 351     case "linux": context.font = "14px dejavu sans mono"; break; | 
| 352     } | 352     } | 
| 353 | 353 | 
| 354     var frameWidth = frameViewFullSize.width || canvasWidth; | 354     var frameWidth = frameViewFullSize.width || canvasWidth; | 
| 355     var textWidth = context.measureText(text).width; | 355     var textWidth = context.measureText(text).width; | 
| 356     context.fillStyle = gridBackgroundColor; | 356     context.fillStyle = gridBackgroundColor; | 
| 357     context.fillRect(frameWidth - textWidth - 12, 15, frameWidth, 25); | 357     context.fillRect(frameWidth - textWidth - 12, 0, frameWidth, 25); | 
| 358     context.fillStyle = darkGridColor; | 358     context.fillStyle = darkGridColor; | 
| 359     context.fillText(text, frameWidth - textWidth - 6, 33); | 359     context.fillText(text, frameWidth - textWidth - 6, 18); | 
| 360     context.restore(); | 360     context.restore(); | 
| 361 |  | 
| 362     _drawGrid(false, false); |  | 
| 363 } | 361 } | 
| 364 | 362 | 
| 365 function reset(resetData) | 363 function reset(resetData) | 
| 366 { | 364 { | 
| 367     window.viewportSize = resetData.viewportSize; | 365     window.viewportSize = resetData.viewportSize; | 
| 368     window.frameViewFullSize = resetData.frameViewFullSize; | 366     window.frameViewFullSize = resetData.frameViewFullSize; | 
| 369     window.deviceScaleFactor = resetData.deviceScaleFactor; | 367     window.deviceScaleFactor = resetData.deviceScaleFactor; | 
| 370     window.pageZoomFactor = resetData.pageZoomFactor; | 368     window.pageZoomFactor = resetData.pageZoomFactor; | 
| 371     window.pageScaleFactor = resetData.pageScaleFactor; | 369     window.pageScaleFactor = resetData.pageScaleFactor; | 
| 372     window.scrollX = Math.round(resetData.scrollX * pageScaleFactor); | 370     window.scrollX = Math.round(resetData.scrollX * pageScaleFactor); | 
| (...skipping 265 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 638 </body> | 636 </body> | 
| 639 <canvas id="canvas" class="fill"></canvas> | 637 <canvas id="canvas" class="fill"></canvas> | 
| 640 <div id="element-title"> | 638 <div id="element-title"> | 
| 641   <span id="tag-name"></span><span id="node-id"></span><span id="class-name"></s
     pan> | 639   <span id="tag-name"></span><span id="node-id"></span><span id="class-name"></s
     pan> | 
| 642   <span id="node-width"></span><span class="px">px</span><span class="px"> ×
     ; </span><span id="node-height"></span><span class="px">px</span> | 640   <span id="node-width"></span><span class="px">px</span><span class="px"> ×
     ; </span><span id="node-height"></span><span class="px">px</span> | 
| 643 </div> | 641 </div> | 
| 644 <div id="right-gutter"></div> | 642 <div id="right-gutter"></div> | 
| 645 <div id="bottom-gutter"></div> | 643 <div id="bottom-gutter"></div> | 
| 646 <div id="log"></div> | 644 <div id="log"></div> | 
| 647 </html> | 645 </html> | 
| OLD | NEW | 
|---|