Makefile.cfg
author Oleksandr Gavenko <gavenkoa@gmail.com>
Mon, 21 Oct 2019 21:04:31 +0300
changeset 929 615c58735e09
parent 914 0dba496629c9
permissions -rw-r--r--
Added null displaying, HISTCONTROL, upper case completion to psql.
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