Esempio n. 1
0
 public function run()
 {
     $gladefile = BASEDIR . '/data/explorer.glade';
     $config = \Explorer\Config::getInstance();
     $main = new \Explorer\Controller\MainWindowController($gladefile);
     \Gtk::Main();
 }
 public function getManual()
 {
     if (!$this->manual) {
         $config = \Explorer\Config::getInstance();
         $this->manual = new \Explorer\Manual\Manual($config['datadir'], $config['language']);
     }
     return $this->manual;
 }
Esempio n. 3
0
 public function initBrowser()
 {
     $container = $this->glade->get_widget('docscrolledwindow');
     if (class_exists('GtkHTML')) {
         $config = \Explorer\Config::getInstance();
         $manual = $this->controller->getManual();
         $this->viewer = new \Explorer\GUI\HTMLManualViewer($manual);
     } else {
         $this->viewer = new \Explorer\GUI\TextDocViewer();
     }
     $container->add($this->viewer->getWidget());
 }