Index: dart_taxonomy/dart_taxonomy.module
===================================================================
--- dart_taxonomy/dart_taxonomy.module	(revision 28760)
+++ dart_taxonomy/dart_taxonomy.module	(working copy)
@@ -22,6 +22,9 @@
     'dart_taxonomy_manager_tree_elements' => array( 
       'arguments' => array('element'), 
     ),
+    'dart_taxonomy_manager_export' => array( 
+      'arguments' => array('delimiter', 'rows', 'headers' => array()), 
+    ),
   );
 }
 
@@ -31,6 +34,7 @@
  */
 function dart_taxonomy_theme_registry_alter(&$theme_registry) {
   $theme_registry['taxonomy_manager_tree_elements']['function'] = 'theme_dart_taxonomy_tree_elements';
+  $theme_registry['taxonomy_manager_export']['function'] = 'theme_dart_taxonomy_manager_export';
 }
 
 /**
@@ -292,6 +296,35 @@
 }
 
 /**
+ * Implementation of theme_taxonomy_manager_export().
+ *  - see taxonomy manager.
+ */
+function theme_dart_taxonomy_manager_export($delimiter, $rows, $headers = array()) {
+  $dart_columns = array('key', 'val', 'exclude');
+
+  if (!empty($headers)) {
+    // Add columns_headers to the headers variable.
+    $dart_headers = $dart_columns;
+    foreach ($dart_headers as &$header) {
+      $header = 'dart_' . $header;
+    }
+    $headers = array_merge($headers, $dart_headers);
+  }
+
+  foreach ($rows as &$row) {
+    // Add dart specific data to the rows.
+    $map = _dart_taxonomy_get_map($row['tid']);
+
+    $dart_columns = $dart_columns;
+    foreach($dart_columns as $column){
+      $row['dart_' . $column] = isset($map[$column]) ? $map[$column] : '';
+    }
+  }
+
+  return theme_taxonomy_manager_export($delimiter, $rows, $headers);
+}
+
+/**
  * Theme function. Effectively this function is a preprocess 
  * function for theme_taxonomy_manager_tree_elements.
  */