diff options
author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-07-24 21:05:02 +0300 |
---|---|---|
committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-07-24 21:05:02 +0300 |
commit | e32fd4e7796d6e7c5a4803e45bc230378ec4dd0b (patch) | |
tree | 5232331654a977cf4ad1bf06eedc2f8752db6c32 /src/ui/text.h | |
parent | 0f0b4250ca460d58edb61cc0dd509ba1980c3272 (diff) |
Font update; ANSI color escapes; fixed URL update
Newer version of the Fira fonts, and added a separate UI font (Source Sans Pro).
The text renderer checks for the 4-bit ANSI color escapes for the setting the foreground color.
InputWidget supports paste from clipboard.
The navbar updates the current URL when the page has been loaded.
Diffstat (limited to 'src/ui/text.h')
-rw-r--r-- | src/ui/text.h | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/ui/text.h b/src/ui/text.h index 2181fa34..be95e948 100644 --- a/src/ui/text.h +++ b/src/ui/text.h | |||
@@ -7,6 +7,7 @@ | |||
7 | 7 | ||
8 | enum iFontId { | 8 | enum iFontId { |
9 | default_FontId, | 9 | default_FontId, |
10 | regular_FontId, | ||
10 | monospace_FontId, | 11 | monospace_FontId, |
11 | monospaceSmall_FontId, | 12 | monospaceSmall_FontId, |
12 | medium_FontId, | 13 | medium_FontId, |
@@ -17,9 +18,11 @@ enum iFontId { | |||
17 | hugeBold_FontId, | 18 | hugeBold_FontId, |
18 | max_FontId, | 19 | max_FontId, |
19 | /* UI fonts: */ | 20 | /* UI fonts: */ |
20 | uiInput_FontId = monospace_FontId, | 21 | uiLabel_FontId = default_FontId, |
22 | uiShortcuts_FontId = default_FontId, | ||
23 | uiInput_FontId = monospace_FontId, | ||
21 | /* Document fonts: */ | 24 | /* Document fonts: */ |
22 | paragraph_FontId = default_FontId, | 25 | paragraph_FontId = regular_FontId, |
23 | firstParagraph_FontId = medium_FontId, | 26 | firstParagraph_FontId = medium_FontId, |
24 | preformatted_FontId = monospace_FontId, | 27 | preformatted_FontId = monospace_FontId, |
25 | preformattedSmall_FontId = monospaceSmall_FontId, | 28 | preformattedSmall_FontId = monospaceSmall_FontId, |
@@ -27,7 +30,6 @@ enum iFontId { | |||
27 | header1_FontId = hugeBold_FontId, | 30 | header1_FontId = hugeBold_FontId, |
28 | header2_FontId = largeBold_FontId, | 31 | header2_FontId = largeBold_FontId, |
29 | header3_FontId = medium_FontId, | 32 | header3_FontId = medium_FontId, |
30 | uiShortcuts_FontId = default_FontId, | ||
31 | }; | 33 | }; |
32 | 34 | ||
33 | #define specialSymbol_Text 0x10 | 35 | #define specialSymbol_Text 0x10 |