diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-08-11 16:10:42 +0300 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-08-11 16:10:42 +0300 |
| commit | 1e8b17b775715edfc68157d9be6743109f65a71b (patch) | |
| tree | 9680b21fed26866c1717bcf89f8ce38ec6047d52 /src/ui/text.h | |
| parent | a0ddbf089bacfe8b9852e77a3bfcfb452d288053 (diff) | |
Document outline; jumping to clicked heading
Diffstat (limited to 'src/ui/text.h')
| -rw-r--r-- | src/ui/text.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/ui/text.h b/src/ui/text.h index 713ee1e7..864173e0 100644 --- a/src/ui/text.h +++ b/src/ui/text.h | |||
| @@ -44,9 +44,9 @@ enum iFontId { | |||
| 44 | preformatted_FontId = monospace_FontId, | 44 | preformatted_FontId = monospace_FontId, |
| 45 | preformattedSmall_FontId = monospaceSmall_FontId, | 45 | preformattedSmall_FontId = monospaceSmall_FontId, |
| 46 | quote_FontId = italic_FontId, | 46 | quote_FontId = italic_FontId, |
| 47 | header1_FontId = hugeBold_FontId, | 47 | heading1_FontId = hugeBold_FontId, |
| 48 | header2_FontId = largeBold_FontId, | 48 | heading2_FontId = largeBold_FontId, |
| 49 | header3_FontId = medium_FontId, | 49 | heading3_FontId = medium_FontId, |
| 50 | banner_FontId = largeLight_FontId, | 50 | banner_FontId = largeLight_FontId, |
| 51 | }; | 51 | }; |
| 52 | 52 | ||