diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-10-17 11:15:14 +0300 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-10-17 11:15:14 +0300 |
| commit | 2e2b823bfb5d34d42c6b6c1b289193c854459b45 (patch) | |
| tree | 345f37aa1b84d8dedb98ff260265b41495e10878 /res/default.fontpack | |
| parent | 2f3987f5e54d95658f95c6991b0644bc15eedabf (diff) | |
Media and FontPacks (work in progress)
Saving this as the last point of progress. This direction is too complicated: Media needs to be a lot more sophisticated to allow dynamic and interactive media at the level of FontPacks. (A bit like Player handles audio playback.)
This will be reverted. FontPack management will happen using an another method.
Diffstat (limited to 'res/default.fontpack')
| -rw-r--r-- | res/default.fontpack/fontpack.ini | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/res/default.fontpack/fontpack.ini b/res/default.fontpack/fontpack.ini index f8ef31ce..68316ef6 100644 --- a/res/default.fontpack/fontpack.ini +++ b/res/default.fontpack/fontpack.ini | |||
| @@ -17,8 +17,6 @@ | |||
| 17 | # `glyphscale` and `voffset` can also be specified separately for the UI and | 17 | # `glyphscale` and `voffset` can also be specified separately for the UI and |
| 18 | # document domains by prefixing `ui.` or `doc.` to the key. | 18 | # document domains by prefixing `ui.` or `doc.` to the key. |
| 19 | 19 | ||
| 20 | version = 1 | ||
| 21 | |||
| 22 | [default] | 20 | [default] |
| 23 | name = "Source Sans" | 21 | name = "Source Sans" |
| 24 | regular = "SourceSans3-Regular.ttf" | 22 | regular = "SourceSans3-Regular.ttf" |