Returns the current list of TOC items.
The list is unmodifiable to prevent external modifications.
List<TocItem> get tocList => List.unmodifiable(_widgetIndex2TocItem.values);