steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

ui.tools.error-list: smaller default size

Slava Pestov 2010-04-13 06:16:45 -07:00
parent a4c9031047
commit dad26f373e
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
basis/ui/tools/error-list/error-list.factor
View File

@ -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?