highlighterThickness property
double
get
highlighterThickness
Implementation
double get highlighterThickness => _highlighterThickness;
set
highlighterThickness
(double value)
Implementation
set highlighterThickness(double value) {
if (_highlighterThickness == value) return;
_highlighterThickness = value;
_contracts.markSceneGeometryChanged();
_contracts.requestRepaintOncePerFrame();
}