123456789101112131415161718192021222324252627282930313233343536373839404142434445 |
- /* Any copyright is dedicated to the Public Domain.
- http://creativecommons.org/publicdomain/zero/1.0/ */
- "use strict";
- // Tests that graph widgets may have a fixed width or height.
- const LineGraphWidget = require("devtools/client/shared/widgets/LineGraphWidget");
- add_task(function* () {
- yield addTab("about:blank");
- yield performTest();
- gBrowser.removeCurrentTab();
- });
- function* performTest() {
- let [host,, doc] = yield createHost();
- doc.body.setAttribute("style",
- "position: fixed; width: 100%; height: 100%; margin: 0;");
- let graph = new LineGraphWidget(doc.body, "fps");
- graph.fixedWidth = 200;
- graph.fixedHeight = 100;
- yield graph.ready();
- testGraph(host, graph);
- yield graph.destroy();
- host.destroy();
- }
- function testGraph(host, graph) {
- let bounds = host.frame.getBoundingClientRect();
- isnot(graph.width, bounds.width * window.devicePixelRatio,
- "The graph should not span all the parent node's width.");
- isnot(graph.height, bounds.height * window.devicePixelRatio,
- "The graph should not span all the parent node's height.");
- is(graph.width, graph.fixedWidth * window.devicePixelRatio,
- "The graph has the correct width.");
- is(graph.height, graph.fixedHeight * window.devicePixelRatio,
- "The graph has the correct height.");
- }
|