diff options
author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-08-14 12:15:22 +0300 |
---|---|---|
committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-08-14 12:15:22 +0300 |
commit | 67721eea67abc0da13cd3d346dc85f1d223da54d (patch) | |
tree | 53d27a4404146a10c525c1e4439641bdde241dcd /src/ui/text.h | |
parent | 01ca3e00909d1ad2bf6346052b00f360b28b8b1f (diff) |
Text: Added a large UI font
Diffstat (limited to 'src/ui/text.h')
-rw-r--r-- | src/ui/text.h | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/src/ui/text.h b/src/ui/text.h index 864173e0..25a13dec 100644 --- a/src/ui/text.h +++ b/src/ui/text.h | |||
@@ -7,9 +7,10 @@ | |||
7 | 7 | ||
8 | enum iFontId { | 8 | enum iFontId { |
9 | default_FontId, | 9 | default_FontId, |
10 | defaultLarge_FontId, | ||
10 | defaultMonospace_FontId, | 11 | defaultMonospace_FontId, |
11 | regular_FontId, | 12 | regular_FontId, |
12 | monospace_FontId, | 13 | monospace_FontId, |
13 | monospaceSmall_FontId, | 14 | monospaceSmall_FontId, |
14 | medium_FontId, | 15 | medium_FontId, |
15 | italic_FontId, | 16 | italic_FontId, |
@@ -20,12 +21,15 @@ enum iFontId { | |||
20 | largeLight_FontId, | 21 | largeLight_FontId, |
21 | /* symbol fonts */ | 22 | /* symbol fonts */ |
22 | defaultSymbols_FontId, | 23 | defaultSymbols_FontId, |
24 | defaultLargeSymbols_FontId, | ||
23 | symbols_FontId, | 25 | symbols_FontId, |
24 | mediumSymbols_FontId, | 26 | mediumSymbols_FontId, |
25 | largeSymbols_FontId, | 27 | largeSymbols_FontId, |
26 | hugeSymbols_FontId, | 28 | hugeSymbols_FontId, |
27 | smallSymbols_FontId, | 29 | smallSymbols_FontId, |
30 | /* emoji fonts */ | ||
28 | defaultEmoji_FontId, | 31 | defaultEmoji_FontId, |
32 | defaultLargeEmoji_FontId, | ||
29 | emoji_FontId, | 33 | emoji_FontId, |
30 | mediumEmoji_FontId, | 34 | mediumEmoji_FontId, |
31 | largeEmoji_FontId, | 35 | largeEmoji_FontId, |
@@ -33,11 +37,12 @@ enum iFontId { | |||
33 | smallEmoji_FontId, | 37 | smallEmoji_FontId, |
34 | max_FontId, | 38 | max_FontId, |
35 | /* Meta: */ | 39 | /* Meta: */ |
36 | fromSymbolsToEmojiOffset_FontId = 6, | 40 | fromSymbolsToEmojiOffset_FontId = 7, |
37 | /* UI fonts: */ | 41 | /* UI fonts: */ |
38 | uiLabel_FontId = default_FontId, | 42 | uiLabel_FontId = default_FontId, |
39 | uiShortcuts_FontId = default_FontId, | 43 | uiShortcuts_FontId = default_FontId, |
40 | uiInput_FontId = defaultMonospace_FontId, | 44 | uiInput_FontId = defaultMonospace_FontId, |
45 | uiBookmarkIcon_FontId = defaultLarge_FontId, | ||
41 | /* Document fonts: */ | 46 | /* Document fonts: */ |
42 | paragraph_FontId = regular_FontId, | 47 | paragraph_FontId = regular_FontId, |
43 | firstParagraph_FontId = medium_FontId, | 48 | firstParagraph_FontId = medium_FontId, |