* src/glade-window.c: 
	  - Show glade widgets in the workspace on selection changes in the project 
	    and not on item-activated.
	  - Rename "Dock Editor" -> "Dock Properties" as per bug 487613.
	
	* gladeui/glade-design-layout.c: Fixed expose event to chain to parent class
	  after drawing an orange box (non window widgets are usualy GTK_NO_WINDOW).

	* gladeui/glade-widget.c: Made glade_widget_show() show the toplevel of any
	  GtkWidget object, also now shows toplevel non window glade widgets in the
	  workspace, if the widget is referenced by a property that as a result parents
	  the widget (i.e. bears a "parentless-widget" property reference), then the
	  referencing widget is shown instead.

	* gladeui/glade-popup.c: Added devhelp icon to documentation menu item, added
	  docs icon to normal menu.


svn path=/trunk/; revision=1928