]> git.zerfleddert.de Git - micropolis/blob - src/tk/library/demos/size
target "all" should be phony
[micropolis] / src / tk / library / demos / size
1 #!/usr/local/bin/wish -f
2 #
3 # Simple script to change size of something in a window.
4
5 if "$argc < 3" {error "Usage: size appName window option"}
6 set appName [lindex $argv 0]
7 set widget [lindex $argv 1]
8 set option [lindex $argv 2]
9
10 pack append . [scale .scale -command {send $appName $widget config $option} \
11 -label "Pixels" -length 250 \
12 -from 0 -to 100 -orient vertical] {top expand filly}
13
14 bind . <Control-q> {destroy .}
15 bind . <Control-c> {destroy .}
16 focus .
Impressum, Datenschutz