Lines Matching refs:WIDTH
73 my $width = 80;
83 "width=i" => \$width,
121 genpng_process_file($filename, $out_filename, $width, $tab_size);
145 -w, --width WIDTH Set width of output image to WIDTH pixel
170 # genpng_process_file(filename, out_filename, width, tab_size)
177 my $width = $_[2];
215 gen_png($out_filename, $width, $tab_size, @source);
220 # gen_png(filename, width, tab_size, source)
225 # coloring will be done according to execution counts. WIDTH defines the
226 # image width. TAB_SIZE specifies the number of spaces to use as replacement
333 # Check for width
