1%TGIF 4.1.46-QPL 2state(0,37,100.000,0,0,0,16,1,9,1,1,0,0,1,0,1,0,'Courier',0,80640,0,0,0,10,0,0,1,1,0,16,0,0,1,1,1,1,1088,1408,1,0,2880,0). 3% 4% @(#)$Header: /mm2/home/cvs/bc-src/tgif/eq4xpm-land.sym,v 1.1 2009/07/06 20:10:36 william Exp $ 5% %W% 6% 7unit("1 pixel/pixel"). 8color_info(13,65535,0,[ 9 "magenta", 65535, 0, 65535, 65535, 0, 65535, 1, 10 "red", 65535, 0, 0, 65535, 0, 0, 1, 11 "green", 0, 65535, 0, 0, 65535, 0, 1, 12 "blue", 0, 0, 65535, 0, 0, 65535, 1, 13 "yellow", 65535, 65535, 0, 65535, 65535, 0, 1, 14 "pink", 65535, 49344, 52171, 65535, 49344, 52171, 1, 15 "cyan", 0, 65535, 65535, 0, 65535, 65535, 1, 16 "CadetBlue", 24415, 40606, 41120, 24415, 40606, 41120, 1, 17 "white", 65535, 65535, 65535, 65535, 65535, 65535, 1, 18 "black", 0, 0, 0, 0, 0, 0, 1, 19 "DarkSlateGray", 12079, 20303, 20303, 12079, 20303, 20303, 1, 20 "#0000ff", 0, 0, 65535, 0, 0, 65280, 1, 21 "#ff00ff", 65535, 0, 65535, 65280, 0, 65280, 1 22]). 23script_frac("0.6"). 24fg_bg_colors('black','white'). 25dont_reencode("FFDingbests:ZapfDingbats"). 26objshadow_info('#c0c0c0',2,2). 27page(1,"",1,''). 28sym([ 29polygon('yellow','',5,[ 30 128,134,192,134,192,118,128,118,128,134],0,1,0,0,15817,0,0,0,0,0,'1',0, 31 "00",[ 32]), 33xpm('black','',128,118,328,158,0,8,1,0,16136,0,200,40,0,0,0,0,0,0,[ 34 " ", "black", 0, 0, 0, 35 ".", "black", 0, 0, 0, 36 "X", "black", 0, 0, 0, 37 "o", "black", 0, 0, 0, 38 "O", "black", 0, 0, 0, 39 "+", "black", 0, 0, 0, 40 "@", "black", 0, 0, 0, 41 "#", "None", 0, 0, 0],[ 42 "########################################################################################################################################################################################################", 43 "########################################################################################################################################################################################### #######", 44 "######################################################################################################################################################################################### ######", 45 "######################################################################################################################################################################################### #### #####", 46 "######################################################################################################################################################################################## ###### ####", 47 "######################################################################################################################################################################################## ###### ####", 48 "######################################################################################################################################################################################## ##### ####", 49 "######################################################################################################################################################################################## ##### ####", 50 "############# ### ### ### # ## ############################################################################### #################### ######################### ##### ### ###### ####", 51 "########## ############################################################################ ################# ##################### ### ########## #####", 52 "########## ############################################################################ ################ ################### ###### # ########## #####", 53 "############# ########### ############################################################################### ############### ###################### ########## ######### ######", 54 "############# ############# ############################################################################### ############### ##################### ############ ######### #######", 55 "############# ############# ############################################################################### ############## ##################### ############## ######## ########", 56 "############ ############## ############################################################################### ############## #################### ############### ####### #########", 57 "############ ############## ############################################################################## ############# # ################### ################ ###### #### ####", 58 "############ ############## ############################################################################## # ########### ## ################## ################# ##### ##### ####", 59 "############ ####### ##### ############################################################################### ## ########### # ################## ################## ###### ###### ####", 60 "########### ####### ###### ############################################################################### ## ########## ## ################## ################### ##### ####", 61 "########### ####### ##################################################################################### ## ######### ## ################# ################## #### ####", 62 "########### ####### ##################################################################################### ### ######### ### ################# ######################### #####", 63 "########### # # ###################################################################################### ### ######## ### ################# ##########################################", 64 "########### ############################## ############################# ### ####### ### ################# ##########################################", 65 "########## ############################## ############################ ### ####### #### ################# ##########################################", 66 "########## ####### ############################### # # # # # # # # ############################# #### ###### ##### ################# ##########################################", 67 "########## ####### ###################################################################################### ##### ##### #### ################## ###########################################", 68 "######### ####### ####### ############################################################################## ##### #### ##### ################# ###########################################", 69 "######### ####### ###### ############################################################################# ##### ### ##### ################## ################### ######################", 70 "######### ############### ############################################################################# ###### ### ###### ################## ################## #######################", 71 "######### ############### ######################### ############################ ###### ## ###### ################### ################## #######################", 72 "######### ############## ######################## ########################### ###### # ###### ################### ################# #######################", 73 "######## ############## ########################## ########################## ###### # ####### ################### ################ ########################", 74 "######## ############## ############################################################################## ######## ######## #################### ############### #########################", 75 "######## ############# ############################################################################## ######## ####### ##################### ############# ##########################", 76 "####### ############ ############################################################################## ######## ######## ###################### ########## ###########################", 77 "###### # # # # ############################################################################ ###### ####### # ##################### ####### ############################", 78 "### ########################################################################### ##### ##### ##################### #############################", 79 "#### ############################################################################ ###### ###### ####################### ###############################", 80 "################################################################################################################################################################### ###################################", 81 "########################################################################################################################################################################################################"],[ 82]) 83], 8415816,0,0,[ 85attr("ecmd=", "", 0, 1, 1, 86text('blue',224,434,6,0,1,1215,90,15834,12,3,0,0,0,0,2,1215,90,0,0,"",0,0,0,0,446,'',[ 87minilines(1215,90,0,0,0,0,0,[ 88mini_line(45,12,3,0,0,0,[ 89str_block(0,45,12,3,0,-1,0,0,0,[ 90str_seg('blue','Courier',0,80640,45,12,3,0,-1,0,0,0,0,0, 91 "ecmd=")]) 92]), 93mini_line(108,12,3,0,0,0,[ 94str_block(0,108,12,3,0,-4,0,0,0,[ 95str_seg('blue','Courier',0,80640,108,12,3,0,-4,0,0,0,0,0, 96 " cd /tmp;")]) 97]), 98mini_line(459,12,3,0,0,0,[ 99str_block(0,459,12,3,0,-4,0,0,0,[ 100str_seg('blue','Courier',0,80640,459,12,3,0,-4,0,0,0,0,0, 101 " xterm -geom 80x8+300+100 -e latex $(file_name);")]) 102]), 103mini_line(711,12,3,0,0,0,[ 104str_block(0,711,12,3,0,-4,0,0,0,[ 105str_seg('blue','Courier',0,80640,711,12,3,0,-4,0,0,0,0,0, 106 " xterm -geom 80x8+300+100 -e dvips -E -n 1 -o $(file_name).eps $(file_name);")]) 107]), 108mini_line(1215,12,3,0,0,0,[ 109str_block(0,1215,12,3,0,-4,0,0,0,[ 110str_seg('blue','Courier',0,80640,1215,12,3,0,-4,0,0,0,0,0, 111 " xterm -geom 80x8+300+100 -e convert -geometry $(geometry) -density $(density) -colors $(colors) $(file_name).eps $(file_name).ppm;")]) 112]), 113mini_line(369,12,3,0,0,0,[ 114str_block(0,369,12,3,0,-4,0,0,0,[ 115str_seg('blue','Courier',0,80640,369,12,3,0,-4,0,0,0,0,0, 116 " xv -geometry +50+50 $(file_name).ppm;")]) 117]) 118])])), 119attr("eq=", "", 0, 1, 1, 120text('blue',224,83,5,0,1,135,75,15833,12,3,0,0,0,0,2,135,75,0,0,"",0,0,0,0,95,'',[ 121minilines(135,75,0,0,0,0,0,[ 122mini_line(27,12,3,0,0,0,[ 123str_block(0,27,12,3,0,-1,0,0,0,[ 124str_seg('blue','Courier',0,80640,27,12,3,0,-1,0,0,0,0,0, 125 "eq=")]) 126]), 127mini_line(54,12,3,0,0,0,[ 128str_block(0,54,12,3,0,-1,0,0,0,[ 129str_seg('blue','Courier',0,80640,54,12,3,0,-1,0,0,0,0,0, 130 "\\LARGE")]) 131]), 132mini_line(18,12,3,0,0,0,[ 133str_block(0,18,12,3,0,-3,0,0,0,[ 134str_seg('blue','Courier',0,80640,18,12,3,0,-3,0,0,0,0,0, 135 "\\[")]) 136]), 137mini_line(135,12,3,0,0,0,[ 138str_block(0,135,12,3,0,-3,0,0,0,[ 139str_seg('blue','Courier',0,80640,135,12,3,0,-3,0,0,0,0,0, 140 " E\\,=\\,M\\,C^2")]) 141]), 142mini_line(18,12,3,0,0,0,[ 143str_block(0,18,12,3,0,-4,0,0,0,[ 144str_seg('blue','Courier',0,80640,18,12,3,0,-4,0,0,0,0,0, 145 "\\]")]) 146]) 147])])), 148attr("file_name=", "/tmp/TgiffAG8nM", 0, 1, 1, 149text('blue',225,924,1,0,1,225,15,15832,12,3,0,0,0,0,2,225,15,0,0,"",0,0,0,0,936,'',[ 150minilines(225,15,0,0,0,0,0,[ 151mini_line(225,12,3,0,0,0,[ 152str_block(0,225,12,3,0,0,0,0,0,[ 153str_seg('blue','Courier',0,80640,225,12,3,0,0,0,0,0,0,0, 154 "file_name=/tmp/TgiffAG8nM")]) 155]) 156])])), 157attr("cleanup=", "", 0, 1, 1, 158text('blue',226,629,4,0,1,540,60,15831,12,3,0,0,0,0,2,540,60,0,0,"",0,0,0,0,641,'',[ 159minilines(540,60,0,0,0,0,0,[ 160mini_line(72,12,3,0,0,0,[ 161str_block(0,72,12,3,0,-1,0,0,0,[ 162str_seg('blue','Courier',0,80640,72,12,3,0,-1,0,0,0,0,0, 163 "cleanup=")]) 164]), 165mini_line(540,12,3,0,0,0,[ 166str_block(0,540,12,3,0,-2,0,0,0,[ 167str_seg('blue','Courier',0,80640,540,12,3,0,-2,0,0,0,0,0, 168 " rm -f $(file_name).tex $(file_name).aux $(file_name).dvi")]) 169]), 170mini_line(513,12,3,0,0,0,[ 171str_block(0,513,12,3,0,-2,0,0,0,[ 172str_seg('blue','Courier',0,80640,513,12,3,0,-2,0,0,0,0,0, 173 " $(file_name).log $(file_name).ps $(file_name).eps")]) 174]), 175mini_line(522,12,3,0,0,0,[ 176str_block(0,522,12,3,0,-1,0,0,0,[ 177str_seg('blue','Courier',0,80640,522,12,3,0,-1,0,0,0,0,0, 178 " $(file_name).ppm $(file_name).xpm $(file_name).gif")]) 179]) 180])])), 181attr("exec=", "", 0, 1, 1, 182text('blue',225,164,14,0,1,477,210,15830,12,3,0,0,0,0,2,477,210,0,0,"",0,0,0,0,176,'',[ 183minilines(477,210,0,0,0,0,0,[ 184mini_line(45,12,3,0,0,0,[ 185str_block(0,45,12,3,0,-1,0,0,0,[ 186str_seg('blue','Courier',0,80640,45,12,3,0,-1,0,0,0,0,0, 187 "exec=")]) 188]), 189mini_line(378,12,3,0,0,0,[ 190str_block(0,378,12,3,0,-4,0,0,0,[ 191str_seg('blue','Courier',0,80640,378,12,3,0,-4,0,0,0,0,0, 192 " mktemp(\"/tmp/TgifXXXXXX\",\"file_name\");")]) 193]), 194mini_line(306,12,3,0,0,0,[ 195str_block(0,306,12,3,0,-4,0,0,0,[ 196str_seg('blue','Courier',0,80640,306,12,3,0,-4,0,0,0,0,0, 197 " strlen(name_assigned,$(name));")]) 198]), 199mini_line(405,12,3,0,0,0,[ 200str_block(0,405,12,3,0,-4,0,0,0,[ 201str_seg('blue','Courier',0,80640,405,12,3,0,-4,0,0,0,0,0, 202 " if($(name_assigned)==0,assign_name,NULL);")]) 203]), 204mini_line(306,12,3,0,0,0,[ 205str_block(0,306,12,3,0,-4,0,0,0,[ 206str_seg('blue','Courier',0,80640,306,12,3,0,-4,0,0,0,0,0, 207 " strlen(name_assigned,$(name));")]) 208]), 209mini_line(468,12,3,0,0,0,[ 210str_block(0,468,12,3,0,-4,0,0,0,[ 211str_seg('blue','Courier',0,80640,468,12,3,0,-4,0,0,0,0,0, 212 " if($(name_assigned)==0,assign_random_name,NULL);")]) 213]), 214mini_line(468,12,3,0,0,0,[ 215str_block(0,468,12,3,0,-4,0,0,0,[ 216str_seg('blue','Courier',0,80640,468,12,3,0,-4,0,0,0,0,0, 217 " write_attr_into_file(header,\"$(file_name).tex\");")]) 218]), 219mini_line(441,12,3,0,0,0,[ 220str_block(0,441,12,3,0,-4,0,0,0,[ 221str_seg('blue','Courier',0,80640,441,12,3,0,-4,0,0,0,0,0, 222 " append_attr_into_file(eq,\"$(file_name).tex\");")]) 223]), 224mini_line(477,12,3,0,0,0,[ 225str_block(0,477,12,3,0,-4,0,0,0,[ 226str_seg('blue','Courier',0,80640,477,12,3,0,-4,0,0,0,0,0, 227 " append_attr_into_file(footer,\"$(file_name).tex\");")]) 228]), 229mini_line(180,12,3,0,0,0,[ 230str_block(0,180,12,3,0,-4,0,0,0,[ 231str_seg('blue','Courier',0,80640,180,12,3,0,-4,0,0,0,0,0, 232 " launch($(proc));")]) 233]), 234mini_line(369,12,3,0,0,0,[ 235str_block(0,369,12,3,0,-4,0,0,0,[ 236str_seg('blue','Courier',0,80640,369,12,3,0,-4,0,0,0,0,0, 237 " update_xpm_child(\"$(file_name).xpm\");")]) 238]), 239mini_line(288,12,3,0,0,0,[ 240str_block(0,288,12,3,0,-4,0,0,0,[ 241str_seg('blue','Courier',0,80640,288,12,3,0,-4,0,0,0,0,0, 242 " select_obj_by_name($(name));")]) 243]), 244mini_line(162,12,3,0,0,0,[ 245str_block(0,162,12,3,0,-4,0,0,0,[ 246str_seg('blue','Courier',0,80640,162,12,3,0,-4,0,0,0,0,0, 247 " hide_attr(eq);")]) 248]), 249mini_line(189,12,3,0,0,0,[ 250str_block(0,189,12,3,0,-4,0,0,0,[ 251str_seg('blue','Courier',0,80640,189,12,3,0,-4,0,0,0,0,0, 252 " launch(\"cleanup\")")]) 253]) 254])])), 255attr("header=", "", 0, 1, 1, 256text('#0000ff',225,696,12,0,1,270,180,15829,12,3,0,0,0,0,2,270,180,0,0,"",0,0,0,0,708,'',[ 257minilines(270,180,0,0,0,0,0,[ 258mini_line(63,12,3,0,0,0,[ 259str_block(0,63,12,3,0,-1,0,0,0,[ 260str_seg('#0000ff','Courier',0,80640,63,12,3,0,-1,0,0,0,0,0, 261 "header=")]) 262]), 263mini_line(261,12,3,0,0,0,[ 264str_block(0,261,12,3,0,-4,0,0,0,[ 265str_seg('#0000ff','Courier',0,80640,261,12,3,0,-4,0,0,0,0,0, 266 "\\documentclass[12pt]{article}")]) 267]), 268mini_line(189,12,3,0,0,0,[ 269str_block(0,189,12,3,0,-4,0,0,0,[ 270str_seg('#0000ff','Courier',0,80640,189,12,3,0,-4,0,0,0,0,0, 271 "\\usepackage{amsfonts}")]) 272]), 273mini_line(162,12,3,0,0,0,[ 274str_block(0,162,12,3,0,-1,0,0,0,[ 275str_seg('#0000ff','Courier',0,80640,162,12,3,0,-1,0,0,0,0,0, 276 "\\oddsidemargin=0in")]) 277]), 278mini_line(144,12,3,0,0,0,[ 279str_block(0,144,12,3,0,-1,0,0,0,[ 280str_seg('#0000ff','Courier',0,80640,144,12,3,0,-1,0,0,0,0,0, 281 "\\textwidth=6.5in")]) 282]), 283mini_line(126,12,3,0,0,0,[ 284str_block(0,126,12,3,0,-2,0,0,0,[ 285str_seg('#0000ff','Courier',0,80640,126,12,3,0,-2,0,0,0,0,0, 286 "\\topmargin=0pt")]) 287]), 288mini_line(153,12,3,0,0,0,[ 289str_block(0,153,12,3,0,-2,0,0,0,[ 290str_seg('#0000ff','Courier',0,80640,153,12,3,0,-2,0,0,0,0,0, 291 "\\textheight=609pt")]) 292]), 293mini_line(117,12,3,0,0,0,[ 294str_block(0,117,12,3,0,-2,0,0,0,[ 295str_seg('#0000ff','Courier',0,80640,117,12,3,0,-2,0,0,0,0,0, 296 "\\parskip=14pt")]) 297]), 298mini_line(270,12,3,0,0,0,[ 299str_block(0,270,12,3,0,-4,0,0,0,[ 300str_seg('#0000ff','Courier',0,80640,270,12,3,0,-4,0,0,0,0,0, 301 "\\setlength{\\unitlength}{0.5cm}")]) 302]), 303mini_line(153,12,3,0,0,0,[ 304str_block(0,153,12,3,0,-4,0,0,0,[ 305str_seg('#0000ff','Courier',0,80640,153,12,3,0,-4,0,0,0,0,0, 306 "\\pagestyle{empty}")]) 307]), 308mini_line(144,12,3,0,0,0,[ 309str_block(0,144,12,3,0,-4,0,0,0,[ 310str_seg('#0000ff','Courier',0,80640,144,12,3,0,-4,0,0,0,0,0, 311 "\\begin{document}")]) 312]), 313mini_line(9,12,3,0,0,0,[ 314str_block(0,9,12,3,0,-1,0,0,0,[ 315str_seg('#0000ff','Courier',0,80640,9,12,3,0,-1,0,0,0,0,0, 316 "%")]) 317]) 318])])), 319attr("footer=", "", 0, 1, 1, 320text('#ff00ff',226,872,3,0,1,126,45,15828,12,3,0,0,0,0,2,126,45,0,0,"",0,0,0,0,884,'',[ 321minilines(126,45,0,0,0,0,0,[ 322mini_line(63,12,3,0,0,0,[ 323str_block(0,63,12,3,0,-1,0,0,0,[ 324str_seg('#0000ff','Courier',0,80640,63,12,3,0,-1,0,0,0,0,0, 325 "footer=")]) 326]), 327mini_line(9,12,3,0,0,0,[ 328str_block(0,9,12,3,0,-1,0,0,0,[ 329str_seg('#0000ff','Courier',0,80640,9,12,3,0,-1,0,0,0,0,0, 330 "%")]) 331]), 332mini_line(126,12,3,0,0,0,[ 333str_block(0,126,12,3,0,-4,0,0,0,[ 334str_seg('#0000ff','Courier',0,80640,126,12,3,0,-4,0,0,0,0,0, 335 "\\end{document}")]) 336]) 337])])), 338attr("", "not_rigid", 0, 1, 1, 339text('blue',225,938,1,0,1,81,15,15827,12,3,0,0,0,0,2,81,15,0,0,"",0,0,0,0,950,'',[ 340minilines(81,15,0,0,0,0,0,[ 341mini_line(81,12,3,0,0,0,[ 342str_block(0,81,12,3,0,-1,0,0,0,[ 343str_seg('blue','Courier',0,80640,81,12,3,0,-1,0,0,0,0,0, 344 "not_rigid")]) 345]) 346])])), 347attr("name=", "15933", 0, 1, 1, 348text('blue',225,-10,1,0,1,90,15,15826,12,3,0,0,0,0,2,90,15,0,0,"",0,0,0,0,2,'',[ 349minilines(90,15,0,0,0,0,0,[ 350mini_line(90,12,3,0,0,0,[ 351str_block(0,90,12,3,0,-2,0,0,0,[ 352str_seg('blue','Courier',0,80640,90,12,3,0,-2,0,0,0,0,0, 353 "name=15933")]) 354]) 355])])), 356attr("name_assigned=", "5", 0, 1, 1, 357text('blue',225,6,1,0,1,135,15,15825,12,3,0,0,0,0,2,135,15,0,0,"",0,0,0,0,18,'',[ 358minilines(135,15,0,0,0,0,0,[ 359mini_line(135,12,3,0,0,0,[ 360str_block(0,135,12,3,0,-2,0,0,0,[ 361str_seg('blue','Courier',0,80640,135,12,3,0,-2,0,0,0,0,0, 362 "name_assigned=5")]) 363]) 364])])), 365attr("assign_name=", "", 0, 1, 1, 366text('blue',225,22,2,0,1,1413,30,15824,12,3,0,0,0,0,2,1413,30,0,0,"",0,0,0,0,34,'',[ 367minilines(1413,30,0,0,0,0,0,[ 368mini_line(108,12,3,0,0,0,[ 369str_block(0,108,12,3,0,-1,0,0,0,[ 370str_seg('blue','Courier',0,80640,108,12,3,0,-1,0,0,0,0,0, 371 "assign_name=")]) 372]), 373mini_line(1413,12,3,0,0,0,[ 374str_block(0,1413,12,3,0,-4,0,0,0,[ 375str_seg('blue','Courier',0,80640,1413,12,3,0,-4,0,0,0,0,0, 376 " get_user_input(name,\"Please give a name to this equation object:\",\"( A random name will be assigned if an empty string is entered or <ESC> is pressed. )\");")]) 377]) 378])])), 379attr("assign_random_name=", "", 0, 1, 1, 380text('blue',225,54,2,0,1,171,30,15823,12,3,0,0,0,0,2,171,30,0,0,"",0,0,0,0,66,'',[ 381minilines(171,30,0,0,0,0,0,[ 382mini_line(171,12,3,0,0,0,[ 383str_block(0,171,12,3,0,-1,0,0,0,[ 384str_seg('blue','Courier',0,80640,171,12,3,0,-1,0,0,0,0,0, 385 "assign_random_name=")]) 386]), 387mini_line(135,12,3,0,0,0,[ 388str_block(0,135,12,3,0,-4,0,0,0,[ 389str_seg('blue','Courier',0,80640,135,12,3,0,-4,0,0,0,0,0, 390 " new_id(name);")]) 391]) 392])])), 393attr("geometry=", "25%", 0, 1, 1, 394text('blue',225,386,1,0,1,108,15,15822,12,3,0,0,0,0,2,108,15,0,0,"",0,0,0,0,398,'',[ 395minilines(108,15,0,0,0,0,0,[ 396mini_line(108,12,3,0,0,0,[ 397str_block(0,108,12,3,0,-1,0,0,0,[ 398str_seg('blue','Courier',0,80640,108,12,3,0,-1,0,0,0,0,0, 399 "geometry=25%")]) 400]) 401])])), 402attr("density=", "576", 0, 1, 1, 403text('blue',225,398,1,0,1,99,15,15821,12,3,0,0,0,0,2,99,15,0,0,"",0,0,0,0,410,'',[ 404minilines(99,15,0,0,0,0,0,[ 405mini_line(99,12,3,0,0,0,[ 406str_block(0,99,12,3,0,-2,0,0,0,[ 407str_seg('blue','Courier',0,80640,99,12,3,0,-2,0,0,0,0,0, 408 "density=576")]) 409]) 410])])), 411attr("cmd=", "", 0, 1, 1, 412text('blue',224,530,5,0,1,1197,75,16095,12,3,0,0,0,0,2,1197,75,0,0,"",0,0,0,0,542,'',[ 413minilines(1197,75,0,0,0,0,0,[ 414mini_line(36,12,3,0,0,0,[ 415str_block(0,36,12,3,0,-1,0,0,0,[ 416str_seg('blue','Courier',0,80640,36,12,3,0,-1,0,0,0,0,0, 417 "cmd=")]) 418]), 419mini_line(108,12,3,0,0,0,[ 420str_block(0,108,12,3,0,-4,0,0,0,[ 421str_seg('blue','Courier',0,80640,108,12,3,0,-4,0,0,0,0,0, 422 " cd /tmp;")]) 423]), 424mini_line(459,12,3,0,0,0,[ 425str_block(0,459,12,3,0,-4,0,0,0,[ 426str_seg('blue','Courier',0,80640,459,12,3,0,-4,0,0,0,0,0, 427 " xterm -geom 80x8+300+100 -e latex $(file_name);")]) 428]), 429mini_line(702,12,3,0,0,0,[ 430str_block(0,702,12,3,0,-4,0,0,0,[ 431str_seg('blue','Courier',0,80640,702,12,3,0,-4,0,0,0,0,0, 432 " xterm -geom 80x8+300+100 -e dvips -E -n 1 -o $(file_name).ps $(file_name);")]) 433]), 434mini_line(1197,12,3,0,0,0,[ 435str_block(0,1197,12,3,0,-4,0,0,0,[ 436str_seg('blue','Courier',0,80640,1197,12,3,0,-4,0,0,0,0,0, 437 " xterm -geom 80x8+300+100 -e convert -geometry $(geometry) -density $(density) -colors $(colors) $(file_name).ps $(file_name).xpm;")]) 438]) 439])])), 440attr("proc=", "cmd", 0, 1, 1, 441text('blue',225,422,1,0,1,72,15,15819,12,3,0,0,0,0,2,72,15,0,0,"",0,0,0,0,434,'',[ 442minilines(72,15,0,0,0,0,0,[ 443mini_line(72,12,3,0,0,0,[ 444str_block(0,72,12,3,0,-1,0,0,0,[ 445str_seg('blue','Courier',0,80640,72,12,3,0,-1,0,0,0,0,0, 446 "proc=cmd")]) 447]) 448])])), 449attr("colors=", "16", 0, 1, 1, 450text('blue',225,410,1,0,1,81,15,15818,12,3,0,0,0,0,2,81,15,0,0,"",0,0,0,0,422,'',[ 451minilines(81,15,0,0,0,0,0,[ 452mini_line(81,12,3,0,0,0,[ 453str_block(0,81,12,3,0,-2,0,0,0,[ 454str_seg('blue','Courier',0,80640,81,12,3,0,-2,0,0,0,0,0, 455 "colors=16")]) 456]) 457])])) 458]). 459 460