prepareZoomlevel method
Scales the stroke width of this RenderTheme by the given factor for a given zoom level
@param scaleFactor the factor by which the stroke width should be scaled. @param zoomLevel the zoom level to which this is applied.
Implementation
RenderthemeLevel prepareZoomlevel(int zoomlevel) {
if (renderthemeLevels.containsKey(zoomlevel)) return renderthemeLevels[zoomlevel]!;
List<Rule> rules = [];
for (Rule rule in rulesList) {
Rule? r = rule.matchForZoomlevel(zoomlevel);
if (r != null) {
rules.add(r);
}
}
RenderthemeLevel renderthemeLevel = RenderthemeLevel(rulesList: rules);
renderthemeLevels[zoomlevel] = renderthemeLevel;
return renderthemeLevel;
}