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/arabic.fontpack/fontpack.ini | |
| 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/arabic.fontpack/fontpack.ini')
| -rw-r--r-- | res/arabic.fontpack/fontpack.ini | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/res/arabic.fontpack/fontpack.ini b/res/arabic.fontpack/fontpack.ini index 48b40d82..d9087161 100644 --- a/res/arabic.fontpack/fontpack.ini +++ b/res/arabic.fontpack/fontpack.ini | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | version = 1 | 1 | version = 1 |
| 2 | 2 | ||
| 3 | [arabic] | 3 | [arabic] |
| 4 | name = "Noto Sans Arabic UI" | 4 | name = "Noto Sans Arabic UI" |