Пример #1
0
	IndexBrowser (Browser parent, IndexReader ir)
	{
		browser = parent;
		index_reader = ir;

		CreateWidget ();
	}
Пример #2
0
		public IndexSearcher (IndexReader indexReader)
		{
			this.index_reader = indexReader;
		}
Пример #3
0
	void NewIndexCreated ()
	{
		index_reader = browser.help_tree.GetIndex ();
		//restore widgets
		browser.index_vbox.Remove (ppanel);
		CreateWidget ();
		browser.index_vbox.ShowAll ();
	}
Пример #4
0
 static IndexDataSource()
 {
     index_reader = RootTree.LoadTree().GetIndex();
 }