diff options
author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-12-29 08:51:08 +0200 |
---|---|---|
committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-12-29 08:51:08 +0200 |
commit | 4dc0e17e8f315cbb336ac3664177a7f6bb3f993b (patch) | |
tree | f6041e32f51ec197702245f1b27808779cdf7155 /src/ui/text.h | |
parent | da6ceb3858ae864fab63efb6d39aa963374c4bce (diff) |
Added a bold UI font
The bold UI label font is used for highlighted sidebar items and default buttons.
Diffstat (limited to 'src/ui/text.h')
-rw-r--r-- | src/ui/text.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/ui/text.h b/src/ui/text.h index f78f570a..217bdd13 100644 --- a/src/ui/text.h +++ b/src/ui/text.h | |||
@@ -31,10 +31,12 @@ SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. */ | |||
31 | 31 | ||
32 | enum iFontId { | 32 | enum iFontId { |
33 | default_FontId, | 33 | default_FontId, |
34 | defaultBold_FontId, | ||
34 | defaultMedium_FontId, | 35 | defaultMedium_FontId, |
36 | defaultMediumBold_FontId, | ||
35 | defaultLarge_FontId, | 37 | defaultLarge_FontId, |
36 | defaultMonospace_FontId, | 38 | defaultMonospace_FontId, |
37 | defaultContentSized_FontId, | 39 | defaultContentSized_FontId, |
38 | /* content fonts */ | 40 | /* content fonts */ |
39 | regular_FontId, | 41 | regular_FontId, |
40 | monospace_FontId, | 42 | monospace_FontId, |
@@ -96,10 +98,12 @@ enum iFontId { | |||
96 | 98 | ||
97 | /* UI fonts: */ | 99 | /* UI fonts: */ |
98 | uiLabel_FontId = default_FontId, | 100 | uiLabel_FontId = default_FontId, |
101 | uiLabelBold_FontId = defaultBold_FontId, | ||
99 | uiLabelLarge_FontId = defaultLarge_FontId, | 102 | uiLabelLarge_FontId = defaultLarge_FontId, |
100 | uiShortcuts_FontId = default_FontId, | 103 | uiShortcuts_FontId = default_FontId, |
101 | uiInput_FontId = defaultMonospace_FontId, | 104 | uiInput_FontId = defaultMonospace_FontId, |
102 | uiContent_FontId = defaultMedium_FontId, | 105 | uiContent_FontId = defaultMedium_FontId, |
106 | uiContentBold_FontId = defaultMediumBold_FontId, | ||
103 | uiContentSymbols_FontId = defaultMediumSymbols_FontId, | 107 | uiContentSymbols_FontId = defaultMediumSymbols_FontId, |
104 | /* Document fonts: */ | 108 | /* Document fonts: */ |
105 | paragraph_FontId = regular_FontId, | 109 | paragraph_FontId = regular_FontId, |