help.markup: Allow \ wrapped related-words.
parent
6ef39d8b6e
commit
c9d2ed1458
|
@ -292,14 +292,17 @@ 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 "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