RefreshTopicTrees
From WandoraWiki
(Difference between revisions)
| (3 intermediate revisions by one user not shown) | |||
| Line 1: | Line 1: | ||
| + | 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. | ||
| + | |||
{{Tool_s_GUI_name_title}} | {{Tool_s_GUI_name_title}} | ||
| Line 5: | 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
