Subversion Repositories wimsdev

Rev

Rev 8402 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 8402 Rev 17918
Line 2... Line 2...
2 
#
 2 
#
3 
# Mandatary parms: $1=plot number. $2=session number.
 3 
# Mandatary parms: $1=plot number. $2=session number.
4 
# environment parms: ins_source.
 4 
# environment parms: ins_source.
5 
# reserved words: ins_border (border size).
 5 
# reserved words: ins_border (border size).
6 
 
 6 
 
- 
 
 7 
if [ "$w_ins_format" = "tex" ]; then
- 
 
 8 
  intermediate_format=tex
- 
 
 9 
else
7 
intermediate_format=gif
 10 
  intermediate_format=gif
- 
 
 11 
fi
8 
flydraw=$w_wims_home/other/bin/flydraw
 12 
flydraw=$w_wims_home/other/bin/flydraw
9 
 
 13 
 
10 
CONVERT_DIS=2
 14 
CONVERT_DIS=2
11 
CONVERT_OPT="-quality 90 -dispose $CONVERT_DIS"
 15 
CONVERT_OPT="-quality 90 -dispose $CONVERT_DIS"
12 
 
 16 
 
Line 24... Line 28...
24 
if [ ! -z "$w_insdraw_transparent" ]; then
 28 
if [ ! -z "$w_insdraw_transparent" ]; then
25 
 draw_transp=transparent
 29 
 draw_transp=transparent
26 
 convert_transp="-transparent $w_insdraw_transparent"
 30 
 convert_transp="-transparent $w_insdraw_transparent"
27 
else
 31 
else
28 
 convert_transp=
 32 
 convert_transp=
29 
fi
 33 
fi
30 
 
 34 
 
31 
# png transparency is not compatible with browsers
 35 
# png transparency is not compatible with browsers
32 
#if [ "$w_ins_format" = "png" ]; then
 36 
#if [ "$w_ins_format" = "png" ]; then
33 
# convert_transp="-transparent '#000000'"
 37 
# convert_transp="-transparent '#000000'"
34 
#fi
 38 
#fi
35 
 
 39 
 
Line 39... Line 43...
39 
rm -f $2/insdraw.cmd 2>/dev/null
 43 
rm -f $2/insdraw.cmd 2>/dev/null
40 
 
 44 
 
41 
draw_content=
 45 
draw_content=
42 
anim_list=
 46 
anim_list=
43 
i=0
 47 
i=0
- 
 
 48 
if [ "$w_ins_format" = "tex" ]; then
- 
 
 49 
  draw_content="$draw_content
- 
 
 50 
 tikzfile $2/insert$w_wims_inssub-$1.tex
- 
 
 51 
 new $w_insdraw_size
- 
 
 52 
 wims_linecount 0
- 
 
 53 
 $ins_source
- 
 
 54 
 "
- 
 
 55 
else
44 
while [ $i -lt $ins_anim_frames ]; do
 56 
  while [ $i -lt $ins_anim_frames ]; do
45 
draw_content="$draw_content
 57 
  draw_content="$draw_content
46 
 new $w_insdraw_size
 58 
 new $w_insdraw_size
47 
 animstep=$i
 59 
 animstep=$i
48 
 s=$i/$ins_anim_frames
 60 
 s=$i/$ins_anim_frames
49 
 wims_linecount 0
 61 
 wims_linecount 0
50 
 $ins_source
 62 
 $ins_source
51 
 output $2/insert$w_wims_inssub-$1-$i.$intermediate_format
 63 
 output $2/insert$w_wims_inssub-$1-$i.$intermediate_format
52 
"
 64 
"
53 
anim_list="$anim_list $2/insert$w_wims_inssub-$1-$i.$intermediate_format"
 65 
  anim_list="$anim_list $2/insert$w_wims_inssub-$1-$i.$intermediate_format"
54 
i=`expr $i + 1`
 66 
i=`expr $i + 1`
55 
done
 67 
  done
56 
 
 68 
fi
57 
if [ -z "$w_insdraw_filebase" ]; then
 69 
if [ -z "$w_insdraw_filebase" ]; then
58 
 if [ "$trusted_module" = "yes" ]; then
 70 
 if [ "$trusted_module" = "yes" ]; then
59 
  flydraw_filebase="$module_dir/insdraw gifs"
 71 
  flydraw_filebase="$module_dir/insdraw gifs"
60 
 else
 72 
 else
61 
  flydraw_filebase="$module_dir gifs"
 73 
  flydraw_filebase="$module_dir gifs"