--- a/web/views/navigation.py	Thu Oct 15 11:20:26 2009 +0200
+++ b/web/views/navigation.py	Mon Oct 19 15:16:41 2009 +0200
@@ -64,7 +64,7 @@
             def index_display(row):
                 entity = rset.get_entity(row, col)
                 return entity.printable_value(attrname, format='text/plain')
-        elif self._cw.schema.eschema(rset.description[0][col]).is_final():
+        elif self._cw.schema.eschema(rset.description[0][col]).final:
             def index_display(row):
                 return unicode(rset[row][col])
         else:
@@ -99,7 +99,7 @@
                 attrname = rel.r_type
                 if attrname == 'is':
                     continue
-                if not rschema(attrname).is_final():
+                if not rschema(attrname).final:
                     col = var.selected_index()
                     attrname = None
                 if col is None: