[micropolis] / src / tk / library / demos / size

#!/usr/local/bin/wish -f
#
# Simple script to change size of something in a window.

if "$argc < 3" {error "Usage: size appName window option"}
set appName [lindex $argv 0]
set widget [lindex $argv 1]
set option [lindex $argv 2]

pack append . [scale .scale -command {send $appName $widget config $option} \
	-label "Pixels" -length 250 \
	-from 0 -to 100 -orient vertical] {top expand filly}

bind . <Control-q> {destroy .}
bind . <Control-c> {destroy .}
focus .
Commit	Line	Data
6a5fa4e0 MG	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 .