IndexBrowser (Browser parent, IndexReader ir)
{
browser = parent;
index_reader = ir;
CreateWidget ();
}
public IndexSearcher (IndexReader indexReader)
{
this.index_reader = indexReader;
}
void NewIndexCreated ()
{
index_reader = browser.help_tree.GetIndex ();
//restore widgets
browser.index_vbox.Remove (ppanel);
CreateWidget ();
browser.index_vbox.ShowAll ();
}
static IndexDataSource()
{
index_reader = RootTree.LoadTree().GetIndex();
}