1 #!/usr/local/bin/wish -f
 
   3 # Simple script to change size of something in a window.
 
   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]
 
  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}
 
  14 bind . <Control-q> {destroy .}
 
  15 bind . <Control-c> {destroy .}