change increase default line number

2024-02-14 16:58:12 +01:00 · 2024-02-14 16:58:12 +01:00 · ccccacca74
parent ee99a553cf
commit ccccacca74
1 changed files with 1 additions and 1 deletions
--- 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>