seed r235 - in trunk: . examples/ide

[hortont svn gnome org]

Author: hortont
Date: Tue Nov 11 05:51:05 2008
New Revision: 235
URL: http://svn.gnome.org/viewvc/seed?rev=235&view=rev

Log:
Remove some files we don't need in the repo, disable IDE close button 
when modal message area is up.



Removed:
   trunk/aclocal.m4
   trunk/config.guess
   trunk/config.sub
   trunk/depcomp
   trunk/install-sh
   trunk/missing
Modified:
   trunk/examples/ide/ide-actions.js
   trunk/examples/ide/ide-tab.js
   trunk/examples/ide/ide-tabheader.js

Modified: trunk/examples/ide/ide-actions.js
==============================================================================
--- trunk/examples/ide/ide-actions.js	(original)
+++ trunk/examples/ide/ide-actions.js	Tue Nov 11 05:51:05 2008
@@ -110,7 +110,7 @@
     execute_action.signal.activate.connect(execute);
     
     var close_tab_action = new Gtk.Action({name:"close", label:"Close",
-                                          tooltip:"Close Tab"});
+                                          tooltip:"Close Tab", stock_id:"gtk-close"});
     close_tab_action.set_accel_group(accels);
     actions.add_action_with_accel(close_tab_action, "<Control>w");
     close_tab_action.connect_accelerator();

Modified: trunk/examples/ide/ide-tab.js
==============================================================================
--- trunk/examples/ide/ide-tab.js	(original)
+++ trunk/examples/ide/ide-tab.js	Tue Nov 11 05:51:05 2008
@@ -22,6 +22,7 @@
     		actions.get_action("redo").sensitive = false;
     		actions.get_action("execute").sensitive = false;
     		actions.get_action("close").sensitive = false;
+    		this.header.close_button.sensitive = false;
     	}
     	
     	prototype.enable = function ()
@@ -31,6 +32,7 @@
     		actions.get_action("save").sensitive = true;
     		actions.get_action("execute").sensitive = true;
     		actions.get_action("close").sensitive = true;
+    		this.header.close_button.sensitive = true;
     		
     		this.source_view.update_undo_state();
     	}

Modified: trunk/examples/ide/ide-tabheader.js
==============================================================================
--- trunk/examples/ide/ide-tabheader.js	(original)
+++ trunk/examples/ide/ide-tabheader.js	Tue Nov 11 05:51:05 2008
@@ -10,10 +10,14 @@
     },
     instance_init: function(klass)
     {
+    	//var gtkrc = new Gtk.RcStyle();
+    	//gtkrc.parse_string("xthickness = 0");
+    	
         this.close_button = new Gtk.Button();
         this.close_button.set_image(new Gtk.Image({stock: "gtk-close",
-                                    icon_size: Gtk.IconSize.menu})); // TODO: use the action!!
+                                    icon_size: Gtk.IconSize.menu}));
         this.close_button.set_relief(Gtk.ReliefStyle.none);
+        //this.close_button.modify_style(gtkrc);
 
         this.label = new Gtk.Label();