dispose method

void dispose()

Must be called when this RenderTheme gets destroyed to clean up and free resources.

Implementation

void dispose() {
  for (Rule r in this.rulesList) {
    r.dispose();
  }
  for (RenderthemeLevel renderthemeLevel in renderthemeLevels.values) {
    renderthemeLevel.dispose();
  }
  renderthemeLevels.clear();
}