objdictgen/nodemanager.py
changeset 63 2be18e405e40
parent 59 3a553c789116
child 68 234dad27b398
--- a/objdictgen/nodemanager.py	Tue Jan 02 15:10:38 2007 +0100
+++ b/objdictgen/nodemanager.py	Wed Jan 03 10:33:55 2007 +0100
@@ -804,13 +804,15 @@
             else:
                 if editor == "type":
                     value = self.TypeTranslation[value]
+                    size = self.GetEntryInfos(value)["size"]
+                    self.CurrentNode.UpdateMapVariable(index, subIndex, size)
                 elif editor == "access":
                     dic = {}
                     for abbrev,access in AccessType.iteritems():
                         dic[access] = abbrev
                     value = dic[value]
                 self.CurrentNode.SetMappingEntry(index, subIndex, values = {name : value})
-                if name == "name":
+                if name == "name" or editor == "type":
                     self.GenerateMapList()
             self.BufferCurrentNode()