- public void notifyCurrentPath(StructureRegistry<TreeSPath> registry,
- TreeSPath path) {
- if (this.path == null) {
- this.path = path.toString();
- }
- }
-
- public void setResourceLoader(ResourceLoader resourceLoader) {
- this.resourceLoader = resourceLoader;
- }
-