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 ($odt_plugin && !plugin_isdisabled($odt_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">