improve widget docs

2025-11-18 12:25:06 +00:00 · 2015-12-15 14:21:30 -05:00
parent 8d7011ca81
commit ed4e8b562a
20 changed files with 550 additions and 54 deletions
--- a/config.ld
+++ b/config.ld
@@ -6,3 +6,4 @@ format = 'markdown'

 new_type('widget', 'Widgets', true)
 new_type('attrib', 'Attributes', false)
+new_type('prop', 'Properties', false)