Added menu update support

lib/python/AccessControl/User.py

 """Access control package"""
 
-__version__='$Revision: 1.37 $'[11:-2]
+__version__='$Revision: 1.38 $'[11:-2]
 
 
 from PersistentMapping import PersistentMapping
@@ -289,7 +289,7 @@ class UserFolderHandler:
                        message='This object already contains a User Folder',
                        action ='%s/manage_main' % REQUEST['PARENT_URL'])
         self.__allow_groups__=self.acl_users
-	if REQUEST: return self.manage_main(self,REQUEST)
+	if REQUEST: return self.manage_main(self,REQUEST,update_menu=1)
 
     def UserFolderIds(self):
 	t=[]

lib/python/OFS/CopySupport.py

 """Copy interface"""
 
-__version__='$Revision: 1.7 $'[11:-2]
+__version__='$Revision: 1.8 $'[11:-2]
 
 import Globals, Moniker, rPickle, tempfile
 from cPickle import loads, dumps
@@ -52,7 +52,7 @@ class CopyContainer:
         obj._setId(clip_id)
 	self._setObject(clip_id, obj)
 	obj._postCopy(self)
-	return self.manage_main(self, REQUEST)
+	return self.manage_main(self, REQUEST, update_menu=1)
 
 
 

lib/python/OFS/Folder.py

 
 """Folder object
 
-$Id: Folder.py,v 1.35 1998/01/13 23:04:55 brian Exp $"""
+$Id: Folder.py,v 1.36 1998/01/26 21:01:33 brian Exp $"""
 
-__version__='$Revision: 1.35 $'[11:-2]
+__version__='$Revision: 1.36 $'[11:-2]
 
 
 from Globals import HTMLFile
@@ -35,7 +35,7 @@ class FolderHandler:
 	self._setObject(id,i)
 	if createUserF:  i.manage_addUserFolder()
 	if createPublic: i.manage_addDocument(id='index_html',title='')
-	if REQUEST: return self.manage_main(self,REQUEST)
+	if REQUEST: return self.manage_main(self,REQUEST,update_menu=1)
 
     def folderIds(self):
 	t=[]

lib/python/OFS/ObjectManager.py

 
 __doc__="""Object Manager
 
-$Id: ObjectManager.py,v 1.33 1998/01/26 16:33:13 brian Exp $"""
+$Id: ObjectManager.py,v 1.34 1998/01/26 21:01:31 brian Exp $"""
 
-__version__='$Revision: 1.33 $'[11:-2]
+__version__='$Revision: 1.34 $'[11:-2]
 
 import Persistence, App.Management, Acquisition, App.Undo
 from Globals import HTMLFile, HTMLFile
@@ -303,7 +303,7 @@ class ObjectManager(
 		except: raise 'BadRequest', ('%s does not exist' % ids[-1])
 	        del ids[-1]
 	    if REQUEST is not None:
-		return self.manage_main(self, REQUEST)
+		return self.manage_main(self, REQUEST, update_menu=1)
 
     def _setProperty(self,id,value,type='string'):
         self._checkId(id)
@@ -472,6 +472,9 @@ class ObjectManager(
 ##############################################################################
 #
 # $Log: ObjectManager.py,v $
+# Revision 1.34  1998/01/26 21:01:31  brian
+# Added menu update support
+#
 # Revision 1.33  1998/01/26 16:33:13  brian
 # Added confirmation to property editing
 #

lib/python/OFS/main.dtml

@@ -81,5 +81,13 @@ There are currently no items in <EM><!--#var title_or_id--></EM>
 </TR>
 </TABLE>
 
+<!--#if update_menu-->
+<SCRIPT LANGUAGE="javascript">
+<!--
+window.parent.update_menu();
+//-->
+</SCRIPT>
+<!--#/if-->
+
 </BODY>
 </HTML>