|
|
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.