Add ViewPort_Buffer#UIDsToRows

diff --git a/imp/js/viewport.js b/imp/js/viewport.js
index 6622fc6..3f117e9 100644 (file)
--- a/imp/js/viewport.js
+++ b/imp/js/viewport.js
@@ -1601,6 +1601,11 @@ ViewPort_Buffer = Class.create({
         return rows.collect(this.rowlist.get.bind(this.rowlist)).compact();
     },
 
+    UIDsToRows: function(uids)
+    {
+        return rows.collect(this.rowlist.index.bind(this.rowlist)).compact();
+    },
+
     // vs = (ViewPort_Selection) TODO
     select: function(vs)
     {