From 6ee821e0615aa97a723de736876d147e4af0cc47 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Wed, 26 Feb 2020 11:18:18 -0800 Subject: [PATCH] prettyprint.stylesheet: s/stack-effect-style/base-effect/style/. --- basis/help/markup/markup.factor | 2 +- basis/prettyprint/stylesheet/stylesheet.factor | 6 +++--- basis/ui/theme/switching/switching.factor | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/basis/help/markup/markup.factor b/basis/help/markup/markup.factor index 4cfc73c681..b367551093 100644 --- a/basis/help/markup/markup.factor +++ b/basis/help/markup/markup.factor @@ -182,7 +182,7 @@ M: symbol link-effect? drop f ; M: word link-effect? drop t ; : $effect ( effect -- ) - effect>string stack-effect-style get format ; + effect>string base-effect-style get format ; M: word link-long-text dup presented associate [ diff --git a/basis/prettyprint/stylesheet/stylesheet.factor b/basis/prettyprint/stylesheet/stylesheet.factor index 54710dd293..6d7eac5138 100644 --- a/basis/prettyprint/stylesheet/stylesheet.factor +++ b/basis/prettyprint/stylesheet/stylesheet.factor @@ -50,11 +50,11 @@ H{ : vocab-style ( vocab -- style ) presented base-vocab-style get clone [ set-at ] keep ; -SYMBOL: stack-effect-style +SYMBOL: base-effect-style H{ { foreground COLOR: FactorDarkSlateBlue } { font-style plain } -} stack-effect-style set-global +} base-effect-style set-global : effect-style ( effect -- style ) - presented stack-effect-style get clone [ set-at ] keep ; + presented base-effect-style get clone [ set-at ] keep ; diff --git a/basis/ui/theme/switching/switching.factor b/basis/ui/theme/switching/switching.factor index 8a39da356a..847d573458 100644 --- a/basis/ui/theme/switching/switching.factor +++ b/basis/ui/theme/switching/switching.factor @@ -45,7 +45,7 @@ IN: ui.theme.switching highlighted-word-style highlighted-word-color foreground update-style base-string-style string-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 prompt-style prompt-background-color background update-style