bug1

9.16

修复报错字体大小bug 补充日志

TeXmacs/progs/debug/debug-widgets.scm

修改build-message 为以下

(define (build-message m)(let* ((k (tm->stree (tm-ref m 0)))(s (utf8->cork (tm->stree (tm-ref m 1))))(t (tm->stree (tm-ref m 2))))(cond ((string-ends? k "-error")`(with "color" "#e02020" "font-size" "2.5" "font-weight" "bold" (concat "Error: " ,s)))((and (!= t "") (== (get-preference "console details") "detailed"))`(document ,(build-message `(tuple ,(tm-ref m 0) ,(tm-ref m 1) ""))(indent (small ,t))))((string-ends? k "-warning")`(with "color" "dark magenta" (concat "Warning: " ,s)))((string-ends? k "-bench")`(with "color" "dark blue" ,s))(else s))))

日志内容

!666:fix: 修复了报错信息过小的问题 [202_44] 修复了报错信息过小的问题
Revert ""
Merge remote-tracking branch 'upstream/main'
fix: 修复了报错信息过小的问题