counter_value_ = cnts.theCounter(active_counter_, lang->code());
pretty_counter_ = cnts.prettyCounter(active_counter_, lang->code());
} else {
- counter_value_ = from_ascii("??");
- pretty_counter_ = from_ascii("??");
+ counter_value_ = from_ascii("#");
+ pretty_counter_ = from_ascii("#");
}
}
}
-void InsetLabel::addToToc(DocIterator const & cpit)
+void InsetLabel::addToToc(DocIterator const & cpit) const
{
docstring const & label = getParam("name");
Toc & toc = buffer().tocBackend().toc("label");
cur.noScreenUpdate();
break;
}
- if (p["name"] != params()["name"])
+ if (p["name"] != params()["name"]) {
+ // undo is handled in updateCommand
updateCommand(p["name"]);
+ }
cur.forceBufferUpdate();
break;
}