blob: 9eaede479ce8b0b8684863c554e3f5beb8acf9e9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
--- pygmy 2000/10/02 06:42:12 1.1
+++ pygmy 2000/10/02 06:42:43
@@ -43,10 +43,10 @@
# Upgrade existing configuration with new params
p.version = v
p.replyto = None
- p.fld_font = '-*-helvetica-medium-r-normal--12-120-75-75-p-70-iso8859-1'
- p.sub_font = '-*-helvetica-medium-r-normal--12-120-75-75-p-70-iso8859-1'
- p.msg_font = '-*-helvetica-medium-r-normal--12-120-75-75-p-70-iso8859-1'
- p.compose_font = '-*-helvetica-medium-r-normal--12-120-75-75-p-70-iso8859-1'
+ p.fld_font = '-*-helvetica-bold-r-normal--12-120-75-75-p-70-iso8859-1'
+ p.sub_font = '-*-helvetica-bold-r-normal--12-120-75-75-p-70-iso8859-1'
+ p.msg_font = '-*-helvetica-bold-r-normal--12-120-75-75-p-70-iso8859-1'
+ p.compose_font = '-*-helvetica-bold-r-normal--12-120-75-75-p-70-iso8859-1'
p.auto = 0
p.flistfile = os.path.join(homedir, ".pygmy-filterlist")
p.external_cmd = ""
|
