From ccccacca74a0134a29ed6d9c41e92dd280fb901e Mon Sep 17 00:00:00 2001
From: quenousimporte <quenousimporte@riseup.net>
Date: Wed, 14 Feb 2024 16:58:12 +0100
Subject: [PATCH] change increase default line number

---
 index.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.php b/index.php
index 4f908bf..b2772af 100644
--- a/index.php
+++ b/index.php
@@ -70,7 +70,7 @@
 					$content = file_get_contents($dir . '/' . $title);
 				}
 
-				$nblines = max(20, substr_count($content, "\r\n") + 1);
+				$nblines = max(20, substr_count($content, "\r\n") + 1) * 2;
 
 				echo '<form action="index.php" method="POST">
 						<div>