Makefile.cfg
author Oleksandr Gavenko <gavenkoa@gmail.com>
Sun, 25 Dec 2022 21:06:07 +0200
changeset 1012 5db0edb5ff00
parent 914 0dba496629c9
permissions -rw-r--r--
OrangeRed is not recognized by mintty, used hex code instead.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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