RefreshTopicTrees
From WandoraWiki
(Difference between revisions)
| Line 7: | Line 7: | ||
{{Tool_s_class_title}} | {{Tool_s_class_title}} | ||
| − | + | {{Tool_class_path|RefreshTopicTrees|RefreshTopicTrees}} | |
[[Category:Tools]] | [[Category:Tools]] | ||
Latest revision as of 22:02, 30 December 2007
Builds a topic tree from scratch. The tool is required to clean up messy or broken topic tree. The tool is also required to update the topic tree after concurrent topic map editions. For example database topic map allows concurrent editions.
[edit] GUI name
- Refresh tree
