The App.grid.plugin.Export is fully running.

static/plugin_dbui/CHANGELOG

 --------------------------------- CHANGE LOG ----------------------------------
 
 HEAD
+   - Add the plugin App.grid.plugin.Export
 
 0.6.1.7 (Sep 2014)
    - Use inline script and Ext.grid.Panel to display software versions

static/plugin_dbui/src/grid/plugin/Export.js

@@ -4,7 +4,7 @@
  *
  * A context menu gives access to the different possibilities.
  *
- * @since 0.6.1.7
+ * @since 0.6.1.8
  *
  */
 Ext.define('App.grid.plugin.Export', {
@@ -316,6 +316,7 @@ Ext.define('App.grid.plugin.Export', {
         // table header
         if (! header.hidden) {
             lines.push(header.labels.join(' & ') + ' \\\\');
+            lines.push('\\hline\\hline');
         }
 
         // table content
@@ -332,6 +333,7 @@ Ext.define('App.grid.plugin.Export', {
                 if (div) {
                     cmd = '\\multicolumn{' + nColumns + '}{l}{' + div.dom.textContent + '} \\\\';
                     lines.push(cmd);
+                    lines.push('\\hline');
                 }
 
             } else if (trEl.hasCls("x-grid-data-row") || trEl.hasCls("x-grid-row-summary")) {
@@ -356,6 +358,7 @@ Ext.define('App.grid.plugin.Export', {
 
         // push the grand total at the end
         if (total) {
+            lines.push('\\hline\\hline');
             lines.push(total);
         }