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

prettyprint.stylesheet: s/stack-effect-style/base-effect/style/.

master
John Benediktsson 2020-02-26 11:18:18 -08:00
parent 049271d04e
commit 6ee821e061
3 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
basis/help/markup/markup.factor
View File

@ -182,7 +182,7 @@ M: symbol link-effect? drop f ;
M: word link-effect? drop t ; M: word link-effect? drop t ;
: $effect ( effect -- ) : $effect ( effect -- )
effect>string stack-effect-style get format ; effect>string base-effect-style get format ;
M: word link-long-text M: word link-long-text
dup presented associate [ dup presented associate [

6
basis/prettyprint/stylesheet/stylesheet.factor
View File

@ -50,11 +50,11 @@ H{
: vocab-style ( vocab -- style ) : vocab-style ( vocab -- style )
presented base-vocab-style get clone [ set-at ] keep ; presented base-vocab-style get clone [ set-at ] keep ;
SYMBOL: stack-effect-style SYMBOL: base-effect-style
H{ H{
{ foreground COLOR: FactorDarkSlateBlue } { foreground COLOR: FactorDarkSlateBlue }
{ font-style plain } { font-style plain }
} stack-effect-style set-global } base-effect-style set-global
: effect-style ( effect -- style ) : effect-style ( effect -- style )
presented stack-effect-style get clone [ set-at ] keep ; presented base-effect-style get clone [ set-at ] keep ;

2
basis/ui/theme/switching/switching.factor
View File

@ -45,7 +45,7 @@ IN: ui.theme.switching
highlighted-word-style highlighted-word-color foreground update-style highlighted-word-style highlighted-word-color foreground update-style
base-string-style string-color foreground update-style base-string-style string-color foreground update-style
base-vocab-style dim-color foreground update-style base-vocab-style dim-color foreground update-style
stack-effect-style stack-effect-color foreground update-style base-effect-style stack-effect-color foreground update-style
! listener ! listener
prompt-style prompt-background-color background update-style prompt-style prompt-background-color background update-style