BorderSide.double constructor
Create a BorderStyle.double border side with the given color and width.
Implementation
const BorderSide.double({this.color, this.width}) : style = BorderStyle.double;
Create a BorderStyle.double border side with the given color and width.
const BorderSide.double({this.color, this.width}) : style = BorderStyle.double;