chiark / gitweb /
gui: one fewer problem report line
authorIan Jackson <ian@liberator.relativity.greenend.org.uk>
Fri, 31 Dec 2010 15:55:57 +0000 (15:55 +0000)
committerIan Jackson <ian@liberator.relativity.greenend.org.uk>
Fri, 31 Dec 2010 15:55:57 +0000 (15:55 +0000)
hostside/gui

index ab1a0720834117da7281711a1ebf068f1377fa07..c6e6a0dcb6d94ebb24f35b56b3f7cdbb384bfab9 100755 (executable)
@@ -143,7 +143,7 @@ proc report-problem {message} {
 
 proc widget-problem-report {} {
     global problem_reports report_problem_report
-    set problem_reports "\n\n\n\n\n\n"
+    set problem_reports "\n\n\n\n\n"
     label .problem-report -anchor w -justify left -takefocus 0 \
            -border 2 -relief sunken -width 80 -textvariable problem_reports
     pack .problem-report -side top