Makefile.cfg
author Oleksandr Gavenko <gavenkoa@gmail.com>
Sun, 12 Nov 2023 23:22:11 +0200
changeset 1028 20761b40404f
parent 914 0dba496629c9
permissions -rw-r--r--
Helper to unpack mini TAR on Ansible managed remote hosts.
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