Rev 14069 | Rev 14409 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 14069 | Rev 14071 | ||
---|---|---|---|
Line 46... | Line 46... | ||
46 | ## a:visited {color:#004077;} |
46 | ## a:visited {color:#004077;} |
47 | ##</style>"> $html |
47 | ##</style>"> $html |
48 | 48 | ||
49 | echo "!!generated by canvasinfo.sh |
49 | echo "!!generated by canvasinfo.sh |
50 | <input type='text' size='10' value='' id='search' onkeydown='javascripts:if(event.keyCode == 13){look();}'/><input type='button' onclick='javascript:look();' value='search' /> |
50 | <input type='text' size='10' value='' id='search' onkeydown='javascripts:if(event.keyCode == 13){look();}'/><input type='button' onclick='javascript:look();' value='search' /> |
51 | <h2 |
51 | <h2 class='wims_title'>Implemented canvasdraw commands ($datum)</h2> |
52 | <table><tr> |
52 | <table><tr> |
53 | " > $phtml |
53 | " > $phtml |
54 | 54 | ||
55 | p=0 |
55 | p=0 |
56 | echo "" > $tmp |
56 | echo "" > $tmp |
Line 60... | Line 60... | ||
60 | while read line ; do |
60 | while read line ; do |
61 | chk=`echo "$line" | grep "@"` |
61 | chk=`echo "$line" | grep "@"` |
62 | if [ ! -z "$chk" ] ; then |
62 | if [ ! -z "$chk" ] ; then |
63 | chk=`echo "$chk" | grep @%` |
63 | chk=`echo "$chk" | grep @%` |
64 | if [ -z "$chk" ] ; then |
64 | if [ -z "$chk" ] ; then |
65 | echo $line |
- | |
66 | if [ $p -eq 0 ]; then |
65 | if [ $p -eq 0 ]; then |
67 | string=`echo "$line" | tr '@' ' '` |
66 | string=`echo "$line" | tr '@' ' '` |
68 | idx=`echo "$string" | awk '{ print $1 }'` |
67 | idx=`echo "$string" | awk '{ print $1 }'` |
69 | echo ",'$idx'" >> $keys |
68 | echo ",'$idx'" >> $keys |
70 | if [ $cnt -gt $br ]; then |
69 | if [ $cnt -gt $br ]; then |
Line 88... | Line 87... | ||
88 | cnt=$(($cnt+1)) |
87 | cnt=$(($cnt+1)) |
89 | echo ",'$alt'" >> $keys |
88 | echo ",'$alt'" >> $keys |
90 | echo "<td><a id='${alt}_top' href='#$idx'>$alt</a></td>" >> $phtml |
89 | echo "<td><a id='${alt}_top' href='#$idx'>$alt</a></td>" >> $phtml |
91 | echo "<li><span>alternative command: <a id='$alt' href='#${alt}_top'>$alt</a></span></li>" >> $tmp |
90 | echo "<li><span>alternative command: <a id='$alt' href='#${alt}_top'>$alt</a></span></li>" >> $tmp |
92 | else |
91 | else |
93 | echo $line | sed 's/@/<li>/g' >> $tmp |
92 | echo $line | sed 's/@/<li>/g' | sed "s/''/<span class=\"wims_emph\">/g" | sed "s!\`\`!</span>!g" >> $tmp |
94 | echo "</li>" >> $tmp |
93 | echo "</li>" >> $tmp |
95 | fi |
94 | fi |
96 | fi |
95 | fi |
97 | else |
96 | else |
98 | # begin generating live examples signaled by @% |
97 | # begin generating live examples signaled by @% |