Makefile.cfg
author Oleksandr Gavenko <gavenkoa@gmail.com>
Wed, 21 Dec 2022 13:23:30 +0200
changeset 1008 86630b8cd151
parent 914 0dba496629c9
permissions -rw-r--r--
Added which to scoop completion.
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