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

ui.tools.error-list: adding table header emphasis.

master
John Benediktsson 2020-02-19 19:22:07 -08:00
parent a91fbb54b0
commit fa31902975
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
basis/ui/tools/error-list/error-list-docs.factor
View File

@ -7,7 +7,7 @@ $nl
"The " { $vocab-link "source-files.errors" } " vocabulary contains backend code used by this tool."
{ $heading "Message icons" }
{ $table
{ "Icon" "Message type" "Reference" }
{ { $strong "Icon" } { $strong "Message type" } { $strong "Reference" } }
! { { $image "vocab:ui/tools/error-list/icons/note.tiff" } "Parser note" { $link "parser" } }
! { { $image "vocab:ui/tools/error-list/icons/syntax-error.tiff" } "Syntax error" { $link "syntax" } }
{ { $image "vocab:ui/tools/error-list/icons/compiler-error.tiff" } "Compiler error" { $link "compiler-errors" } }