1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
From: Peter Blackman <peter@pblackman.plus.com>
Subject: Window Parameters
Description: Improve default window settings
Forwarded: not-needed
Index: b/tkinfo
===================================================================
--- a/tkinfo
+++ b/tkinfo
@@ -520,7 +520,7 @@
set defInfoSuffix [list .info -info ""]
- option add *geometry 80x28 widgetDefault
+ option add *geometry 80x50+150+150 widgetDefault
option add *scrollthrough 1 widgetDefault
option add *showdir 0 widgetDefault
option add *pagesep 1 widgetDefault
@@ -528,10 +528,10 @@
option add *foreground Black widgetDefault
option add *history 20 widgetDefault
option add *prompthistory 35 widgetDefault
- option add *Text.background #d9d9d9 widgetDefault
+ option add *Text.background White widgetDefault
option add *Text.foreground Black widgetDefault
- option add *font "-*-helvetica-bold-r-normal-*-12-*-*-*-*-*-*-*" widgetDefault
- option add *Text.font "-*-courier-medium-r-normal-*-12-*-*-*-*-*-*-*" widgetDefault
+ option add *font TkHeadingFont widgetDefault
+ option add *Text.font TkFixedFont widgetDefault
option add *linklook "color" widgetDefault
if { [info commands winfo] != "" } {
if { [winfo depth .] == 1 } {
@@ -539,12 +539,12 @@
}
}
option add *linkcolor blue widgetDefault
- option add *linkfont "-*-courier-bold-o-normal-*-12-*-*-*-*-*-*-*" widgetDefault
+ option add *linkfont TkHeadingFont widgetDefault
option add *highlight inverse widgetDefault
- option add *highlightfont "-*-courier-bold-o-normal-*-12-*-*-*-*-*-*-*" widgetDefault
+ option add *highlightfont TkHeadingFont widgetDefault
option add *highlightcolor violet widgetDefault
option add *searchlook inverse widgetDefault
- option add *searchfont "-*-courier-bold-o-normal-*-12-*-*-*-*-*-*-*" widgetDefault
+ option add *searchfont TkHeadingFont widgetDefault
option add *searchcolor red widgetDefault
option add *showbuttons "1" widgetDefault
option add *showballoons "1" widgetDefault
|
