|
|
1.1 root 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 .
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.