(String filename)
| 698 | } |
| 699 | |
| 700 | public String getSurfCode_Part2(String filename) { |
| 701 | String strSurf = ""; |
| 702 | strSurf += "color_file_format=" + fileFormatFromExt(filename) + ";\n"; |
| 703 | // strSurf += "jpeg_quality=100;"; |
| 704 | strSurf += "save_color_image;\n"; |
| 705 | |
| 706 | return strSurf; |
| 707 | } |
| 708 | |
| 709 | public String getSurfCode_Dither_Part1(int res) { |
| 710 | String strSurf = ""; |
no test coverage detected