From 74075511c21f6ccc6f9e5959e8ce4ef1861902e9 Mon Sep 17 00:00:00 2001
From: Slava Pestov <slava@slava-pestovs-macbook-pro.local>
Date: Tue, 13 Apr 2010 06:16:45 -0700
Subject: [PATCH] ui.tools.error-list: smaller default size

---
 basis/ui/tools/error-list/error-list.factor | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/basis/ui/tools/error-list/error-list.factor b/basis/ui/tools/error-list/error-list.factor
index 34a5221307..eaa947b2d6 100644
--- a/basis/ui/tools/error-list/error-list.factor
+++ b/basis/ui/tools/error-list/error-list.factor
@@ -66,8 +66,8 @@ M: source-file-renderer filled-column drop 1 ;
         [ invoke-primary-operation ] >>action
         COLOR: dark-gray >>column-line-color
         6 >>gap
-        5 >>min-rows
-        5 >>max-rows
+        4 >>min-rows
+        4 >>max-rows
         60 >>min-cols
         60 >>max-cols
         t >>selection-required?
@@ -115,8 +115,8 @@ M: error-renderer column-alignment drop { 0 1 0 0 } ;
         [ invoke-primary-operation ] >>action
         COLOR: dark-gray >>column-line-color
         6 >>gap
-        5 >>min-rows
-        5 >>max-rows
+        4 >>min-rows
+        4 >>max-rows
         60 >>min-cols
         60 >>max-cols
         t >>selection-required?