gui: Reduce height of textarea in ignores modal

Skip-check: authors

GitHub-Pull-Request: https://github.com/syncthing/syncthing/pull/4102

gui/default/syncthing/folder/editIgnoresModalView.html

@@ -1,7 +1,7 @@
 <modal id="editIgnores" status="default" heading="{{'Ignore Patterns' | translate}}" large="yes" closeable="yes">
   <div class="modal-body">
     <p translate>Enter ignore patterns, one per line.</p>
-    <textarea class="form-control" rows="15"></textarea>
+    <textarea class="form-control" rows="5"></textarea>
 
     <hr/>