devtools/devctl.py
changeset 6443 a5bed0cd3956
parent 6356 e89f71a41e20
child 6444 cc091175d3da
--- a/devtools/devctl.py	Mon Oct 11 14:45:25 2010 +0200
+++ b/devtools/devctl.py	Mon Oct 11 17:59:58 2010 +0200
@@ -234,6 +234,8 @@
 
 def _iter_vreg_objids(vreg, done):
     for reg, objdict in vreg.items():
+        if reg in ('boxes', 'contentnavigation'):
+            continue
         for objects in objdict.values():
             for obj in objects:
                 objid = '%s_%s' % (reg, obj.__regid__)