public SymbolKind kind { get; set; }
public bool deprecated { get; set; }
private Range? _initial_range;
- public Range range {
+ /* public Range range {
owned get {
if (_initial_range == null)
_initial_range = new Range.from_sourceref (children.first ()._source_reference);
return children.fold<Range> ((child, current_range) => current_range.union (child.range), _initial_range);
}
}
+ */
public Range selectionRange { get; set; }
public GLib.ListStore children { get; private set; default = new Glib.ListStore(typeof(DocumentSymbol)); }
public string? parent_name;