{ return current_type_ == "tableofcontents"; }
/// It is not possible to have synchronous navigation in a correct
/// and efficient way with the label and change type because Toc::item()
/// does a linear search. Even when fixed, it might even not be desirable
/// to do so if we want to support drag&drop of labels and references.
{ return current_type_ == "tableofcontents"; }
/// It is not possible to have synchronous navigation in a correct
/// and efficient way with the label and change type because Toc::item()
/// does a linear search. Even when fixed, it might even not be desirable
/// to do so if we want to support drag&drop of labels and references.