Modified: trunk/programs/ide/lib/ide.class.php (112 => 113)
--- trunk/programs/ide/lib/ide.class.php 2007-01-11 21:31:32 UTC (rev 112)
+++ trunk/programs/ide/lib/ide.class.php 2007-01-11 22:19:51 UTC (rev 113)
@@ -95,13 +95,13 @@
$vpaned1->pack1($vpaned2);
$vpaned2->pack2($hpaned1);
$hpaned1->pack2($hpaned2);
- $this->pane_top = new GtkNoteBook();
+ $this->pane_top = new CC_Ide_notebook();
//$this->pane_top->append_page(new GtkLabel('Top'));
- $this->pane_bottom = new GtkNoteBook();
+ $this->pane_bottom = new CC_Ide_notebook();
//$this->pane_bottom->append_page(new GtkLabel('bottom'));
- $this->pane_left = new GtkNoteBook();
+ $this->pane_left = new CC_Ide_notebook();
//$this->pane_left->append_page(new GtkLabel('Left'));
- $this->pane_right = new GtkNoteBook();
+ $this->pane_right = new CC_Ide_notebook();
//$this->pane_right->append_page(new GtkLabel('Right'));
$hpaned1->pack1($this->pane_left);
$vpaned1->pack2($this->pane_bottom);
Modified: trunk/programs/ide/lib/ide_editor.class.php (112 => 113)
--- trunk/programs/ide/lib/ide_editor.class.php 2007-01-11 21:31:32 UTC (rev 112)
+++ trunk/programs/ide/lib/ide_editor.class.php 2007-01-11 22:19:51 UTC (rev 113)
@@ -11,6 +11,11 @@
$count++;
$sourceView = new CC_Ide_source();
$sourceView->set_modified(false);
+ $sourceView->set_show_line_numbers(true);
+ $sourceView->set_check_brackets(true);
+ $sourceView->set_show_line_markers(true);
+ $sourceView->set_auto_indent(true);
+ $sourceView->set_smart_home_end(true);
parent::append_page($sourceView,new GtkLabel('Untitled-'.$count));
$this->show_all();
}
Modified: trunk/programs/ide/lib/ide_notebook.class.php (112 => 113)
--- trunk/programs/ide/lib/ide_notebook.class.php 2007-01-11 21:31:32 UTC (rev 112)
+++ trunk/programs/ide/lib/ide_notebook.class.php 2007-01-11 22:19:51 UTC (rev 113)
@@ -10,11 +10,11 @@
public function append_page($child, $label, $has_close = true){
$tab = new GtkHBox();
if ($has_close) {
- $button = new GtkButton('X');
- $button->set_size_request(22,22);
+ $button = $this->new_tab_button('',$child);
+ //$button->set_size_request(22,22);
$tab->pack_start($label);
$tab->pack_start($button);
- $button->connect_simple('clicked', array($this,'close_page'),$child);
+ //$button->connect_simple('clicked', array($this,'close_page'),$child);
}else{
$tab->pack_start($label);
}
@@ -22,6 +22,22 @@
return parent::append_page($child,$tab);
}
+ protected function new_tab_button($text, $child){
+ $hbox = new GtkHbox();
+ $hbox->pack_start($label = new GtkLabel($text)); $label->show();
+ $event_box = new GtkEventBox();
+ $event_box->add(
+ $button = GtkImage::new_from_stock(
+ Gtk::STOCK_CLOSE,
+ Gtk::ICON_SIZE_MENU)
+ );
+ $hbox->pack_start($event_box);
+ $event_box->show();
+ $button->show();
+ $event_box->connect('button_press_event', array($this, 'close_page'), $child);
+ return $hbox;
+ }
+
public function close_page($child){
$id = $this->page_num($child);
$this->remove_page($id);
Added: trunk/programs/ide/lib/ide_plugins.class.php (112 => 113)
--- trunk/programs/ide/lib/ide_plugins.class.php 2007-01-11 21:31:32 UTC (rev 112)
+++ trunk/programs/ide/lib/ide_plugins.class.php 2007-01-11 22:19:51 UTC (rev 113)
@@ -0,0 +1,9 @@
+<?php
+
+class CC_Ide_plugin {
+
+
+
+}
+
+?>
\ No newline at end of file