Index: workspace.module
===================================================================
--- workspace.module	(revision 12352)
+++ workspace.module	(working copy)
@@ -421,6 +421,7 @@
       $rows[] = array(array('data' => $pager, 'colspan' => 3));
     }
     $output .= theme('table', $header, $rows);
+    $output .= theme('pager', NULL, $max);
   }
   else {
     $output = t('Your workspace is currently empty.');