diff --git a/adminer/procedure.inc.php b/adminer/procedure.inc.php
index 318f2cc1..61604882 100644
--- a/adminer/procedure.inc.php
+++ b/adminer/procedure.inc.php
@@ -62,7 +62,7 @@ if (isset($_GET["function"])) {
 </table>
 <?php echo script("editFields();"); ?>
 </div>
-<p><?php textarea("definition", $row["definition"]); ?>
+<p><?php textarea("definition", $row["definition"], 20); ?>
 <p>
 <input type="submit" value="<?php echo lang('Save'); ?>">
 <?php if ($PROCEDURE != "") { ?>