diff --git a/src/gui/interact/gen-node-location-query.hpp b/src/gui/interact/gen-node-location-query.hpp index d389d2bfd..d0d3830a1 100644 --- a/src/gui/interact/gen-node-location-query.hpp +++ b/src/gui/interact/gen-node-location-query.hpp @@ -151,6 +151,18 @@ namespace interact { { return Symbol{lib::pull_last (tree_.keys())}; //////////////////////////////////////////////TICKET #1113 : warning use of Symbol table becomes obsolete when EntryID relies on Literal } + + static Rec const& + drillDown (Rec const& tree, UICoord const& path, size_t maxDepth, size_t& depth) + { + if (depth(), path, maxDepth, ++depth); + } + return tree; + } };