help.markup: missed a spot for unwrapping.
parent
d30e56e433
commit
153239ada6
|
@ -292,14 +292,18 @@ PRIVATE>
|
||||||
"See also" $heading $links ;
|
"See also" $heading $links ;
|
||||||
|
|
||||||
<PRIVATE
|
<PRIVATE
|
||||||
|
|
||||||
|
: ?unwrap ( word/wrapper -- word )
|
||||||
|
dup wrapper? [ wrapped>> ] when ;
|
||||||
|
|
||||||
:: update-related-words ( words -- affected-words )
|
:: update-related-words ( words -- affected-words )
|
||||||
words words [| affected word |
|
words words [| affected word |
|
||||||
word dup wrapper? [ wrapped>> ] when "related" [ affected union words ] change-word-prop
|
word ?unwrap "related" [ affected union words ] change-word-prop
|
||||||
] reduce ;
|
] reduce ;
|
||||||
|
|
||||||
:: clear-unrelated-words ( words affected-words -- )
|
:: clear-unrelated-words ( words affected-words -- )
|
||||||
affected-words words diff
|
affected-words words diff
|
||||||
[ "related" [ words diff ] change-word-prop ] each ;
|
[ ?unwrap "related" [ words diff ] change-word-prop ] each ;
|
||||||
|
|
||||||
: notify-related-words ( affected-words -- )
|
: notify-related-words ( affected-words -- )
|
||||||
fast-set notify-definition-observers ;
|
fast-set notify-definition-observers ;
|
||||||
|
|
Loading…
Reference in New Issue