author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Wed, 02 Jun 2021 13:39:08 +0300 | |
changeset 983 | 710597383618 |
parent 914 | 0dba496629c9 |
permissions | -rw-r--r-- |
914
0dba496629c9
Allow to override font size by local settings.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
1 |
# 7x13 on low DPI, 7x14 on hi DPI. |
0dba496629c9
Allow to override font size by local settings.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
2 |
CFG_FONT_NAME := 7x14 |
0dba496629c9
Allow to override font size by local settings.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
3 |
# 10 on low DPI, 12 on hi DPI. |
0dba496629c9
Allow to override font size by local settings.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
4 |
CFG_FONT_SIZE := 12 |
0dba496629c9
Allow to override font size by local settings.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
5 |
CFG_COLS := 160 |
0dba496629c9
Allow to override font size by local settings.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
6 |
CFG_ROWS := 40 |