svoid dm_revisualize() {
  dm_current_mandatory().revisualize();
}