Modified: trunk/programs/ide/lib/ide.class.php (92 => 93)
--- trunk/programs/ide/lib/ide.class.php 2007-01-05 15:38:47 UTC (rev 92)
+++ trunk/programs/ide/lib/ide.class.php 2007-01-05 15:56:00 UTC (rev 93)
@@ -136,7 +136,7 @@
'short-label' => '_Run',
'tooltip' => 'Run File',
'callback' => array($this, 'on_run'),
- 'image' => 'gtk-media-play-ltr',
+ 'image' => 'gtk-media-play',
)
);
$actions->add_action('file',
Modified: trunk/programs/ide/lib/ide_notebook.class.php (92 => 93)
--- trunk/programs/ide/lib/ide_notebook.class.php 2007-01-05 15:38:47 UTC (rev 92)
+++ trunk/programs/ide/lib/ide_notebook.class.php 2007-01-05 15:56:00 UTC (rev 93)
@@ -8,7 +8,17 @@
public function __construct(){
parent::__construct();
$this->set_scrollable(true);
- $this->set_tab_pos(Gtk::POS_BOTTOM);
+ $config = CC_Config::instance();
+ if ($config->tab_pos !== null) {
+ switch ($config->tab_pos){
+ case 'POS_TOP': $this->set_tab_pos(Gtk::POS_TOP); break;
+ case 'POS_BOTTOM': $this->set_tab_pos(Gtk::POS_BOTTOM); break;
+ case 'POS_LEFT': $this->set_tab_pos(Gtk::POS_LEFT); break;
+ case 'POS_RIGHT': $this->set_tab_pos(Gtk::POS_RIGHT); break;
+ }
+ }else{
+ $this->set_tab_pos(Gtk::POS_BOTTOM);
+ }
$this->connect('drag-data-received', array($this, 'on_drop'));
$this->drag_dest_set(Gtk::DEST_DEFAULT_DROP, array(array('text/uri-list', 0, 0)), Gdk::ACTION_COPY | Gdk::ACTION_MOVE);
@@ -29,7 +39,7 @@
//$eventbox = new GtkEventBox();
$hbox = new GtkHBox();
$button = new GtkButton('X');
- $label = new GtkLabel('untitled');
+ $label = new GtkLabel('untitled-'.self::$count);
//$eventbox->add($label);
$hbox->pack_start($label);
$hbox->pack_start($button);