Bug 1308268 - Use thinner stroke widths for grid outline. r?gl
MozReview-Commit-ID: HZqVtySMWi4
--- a/devtools/client/inspector/layout/components/GridOutline.js
+++ b/devtools/client/inspector/layout/components/GridOutline.js
@@ -45,16 +45,17 @@ module.exports = createClass({
drawGridOutlineBorder(numberOfRows, numberOfCols) {
return dom.rect(
{
id: "grid-outline-border",
x: 1,
y: 1,
width: numberOfCols * 10,
height: numberOfRows * 10,
+ strokeWidth: 0.75,
stroke: "#9370DB",
fill: "none"
}
);
},
processGridsToDraw(grids) {
const highlightedGrids = [];
@@ -78,17 +79,17 @@ module.exports = createClass({
y: rowNumber,
width: 10,
height: 10,
onMouseOver: this.onMouseOverCell,
onMouseOut: this.onMouseLeaveCell,
stroke: "#9370DB",
fill: "none",
pointerEvents: "all",
- strokeDasharray: [2, 2],
+ strokeDasharray: [0.5, 2],
},
);
},
renderFragment(gridFragment) {
const { rows, cols } = gridFragment;
const numberOfColLines = cols.lines.length - 1;