projects / micropolis / blame_incremental
| Commit | Line | Data |
|---|---|---|
| 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 . |