more-buttons.patch

   1 --- sidebar/main.php    2009-08-30 00:00:33.098142092 +0300
   2 +++ sidebar/main.php    2009-08-29 23:53:54.718210429 +0300
   3 @@ -63,6 +63,28 @@
   4        <div class="bar-left" id="bar__topleft">
   5          <?php tpl_button('edit')?>
   6          <?php tpl_button('history')?>
   7 +               <?php
   8 +               $pdf_plugin = &plugin_load('action','html2pdf');
   9 +               if ($pdf_plugin && !plugin_isdisabled($pdf_plugin->getPluginName())) { ?>
  10 +               <form class="button" method="get" action="<?php wl($ID)?>">
  11 +                 <div class="no">
  12 +                       <input type="submit" value="Export to PDF" class="button" />
  13 +                       <input type="hidden" name="do" value="export_pdf" />
  14 +                       <input type="hidden" name="id" value="<?php echo $ID?>" />
  15 +                 </div>
  16 +               </form>
  17 +               <?php } ?>
  18 +               <?php
  19 +               $odt_plugin = &plugin_load('renderer','odt');
  20 +               if ($pdf_plugin && !plugin_isdisabled($pdf_plugin->getPluginName())) { ?>
  21 +               <form class="button" method="get" action="<?php wl($ID)?>">
  22 +                 <div class="no">
  23 +                       <input type="submit" value="Export to ODT" class="button" />
  24 +                       <input type="hidden" name="do" value="export_odt" />
  25 +                       <input type="hidden" name="id" value="<?php echo $ID?>" />
  26 +                 </div>
  27 +               </form>
  28 +               <?php } ?>
  29        </div>
  30
  31        <div class="bar-right" id="bar__topright">