Modified: trunk/programs/ide/lib/ide_notebook.class.php (86 => 87)
--- trunk/programs/ide/lib/ide_notebook.class.php 2007-01-05 13:39:52 UTC (rev 86)
+++ trunk/programs/ide/lib/ide_notebook.class.php 2007-01-05 14:07:35 UTC (rev 87)
@@ -11,7 +11,7 @@
$this->set_tab_pos(Gtk::POS_BOTTOM);
$this->connect('drag-data-received', array($this, 'on_drop'));
- $this->drag_dest_set(Gtk::DEST_DEFAULT_ALL, array(array('text/uri-list', 0, 0)), Gdk::ACTION_COPY | Gdk::ACTION_MOVE);
+ $this->drag_dest_set(Gtk::DEST_DEFAULT_DROP, array(array('text/uri-list', 0, 0)), Gdk::ACTION_COPY | Gdk::ACTION_MOVE);
}
public function new_file(){
@@ -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 = new 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);