Modified: trunk/programs/ide/lib/ide.class.php (87 => 88)
--- trunk/programs/ide/lib/ide.class.php 2007-01-05 14:07:35 UTC (rev 87)
+++ trunk/programs/ide/lib/ide.class.php 2007-01-05 14:31:27 UTC (rev 88)
@@ -43,6 +43,10 @@
'edit:undo',
'edit:redo',
),
+ '_Tools' => array(
+ //'toolbar:toggle',
+ //'view:fullscreen',
+ ),
'_View' => array(
//'toolbar:toggle',
'view:fullscreen',
Modified: trunk/programs/ide/lib/ide_notebook.class.php (87 => 88)
--- trunk/programs/ide/lib/ide_notebook.class.php 2007-01-05 14:07:35 UTC (rev 87)
+++ trunk/programs/ide/lib/ide_notebook.class.php 2007-01-05 14:31:27 UTC (rev 88)
@@ -19,9 +19,9 @@
$view = new GtkScrolledWindow();
$lang_mgr = new GtkSourceLanguagesManager();
# removed lang_mgr to cant seem to get it working since using new builds
- $lang = $lang_mgr->get_language_from_mime_type("text/x-php");
- $buffer = GtkSourceBuffer::new_with_language($lang);
- //$buffer = new GtkSourceBuffer();
+ //$lang = $lang_mgr->get_language_from_mime_type("text/x-php");
+ //$buffer = GtkSourceBuffer::new_with_language($lang);
+ $buffer = new GtkSourceBuffer();
$source = GtkSourceView::new_with_buffer($buffer);
$source->set_show_line_numbers(1);
$buffer->set_highlight(1);
@@ -36,6 +36,7 @@
$label->show();
$button->show();
$id = $this->append_page($view,$hbox);
+ $this->set_current_page($id);
$view->set_data('tab_id',self::$count);
$button->connect('clicked', array($this,'tab_close'),$view);
$this->buffers[self::$count] = $buffer;
@@ -75,6 +76,7 @@
$label->show();
$button->show();
$id = $this->append_page($view,$hbox);
+ $this->set_current_page($id);
//$button->set_data('tab_id',self::$count);
$view->set_data('tab_id',self::$count);
$button->connect('clicked', array($this,'tab_close'),$view);
@@ -127,6 +129,7 @@
}
public function on_drop($widget, $context, $x, $y, $data, $info, $time){
+ echo $data->data;
$file = explode("\r\n",$data->data);
$this->open_file($file[0]);
}