X-Git-Url: http://source.jalview.org/gitweb/?p=jalviewjs.git;a=blobdiff_plain;f=bin%2Fjavajs%2Fimg%2FPpmEncoder.js;h=1769c714a9ed94a3cc34c37bfeb0aecdfec870bd;hp=7cb6943362679c86bdbdb44088b4f6f2d476b547;hb=8ffd05b3abe52c0b6b79b011c0966361f82d5fe6;hpb=6154cb57a6eac3bb1344b8342495f5bb701ee921

diff --git a/bin/javajs/img/PpmEncoder.js b/bin/javajs/img/PpmEncoder.js
index 7cb6943..1769c71 100644
--- a/bin/javajs/img/PpmEncoder.js
+++ b/bin/javajs/img/PpmEncoder.js
@@ -1,23 +1,23 @@
-Clazz.declarePackage ("javajs.img");
-Clazz.load (["javajs.img.ImageEncoder"], "javajs.img.PpmEncoder", null, function () {
-c$ = Clazz.declareType (javajs.img, "PpmEncoder", javajs.img.ImageEncoder);
-Clazz.overrideMethod (c$, "setParams", 
-function (params) {
-}, "java.util.Map");
-Clazz.overrideMethod (c$, "generate", 
-function () {
-this.putString ("P6\n");
-this.putString (this.width + " " + this.height + "\n");
-this.putString ("255\n");
-var ppmPixels =  Clazz.newByteArray (this.width * 3, 0);
-for (var pt = 0, row = 0; row < this.height; ++row) {
-for (var col = 0, j = 0; col < this.width; ++col, pt++) {
-var p = this.pixels[pt];
-ppmPixels[j++] = ((p >> 16) & 0xff);
-ppmPixels[j++] = ((p >> 8) & 0xff);
-ppmPixels[j++] = (p & 0xff);
-}
-this.out.write (ppmPixels, 0, ppmPixels.length);
-}
-});
-});
+Clazz.declarePackage ("javajs.img");
+Clazz.load (["javajs.img.ImageEncoder"], "javajs.img.PpmEncoder", null, function () {
+c$ = Clazz.declareType (javajs.img, "PpmEncoder", javajs.img.ImageEncoder);
+Clazz.overrideMethod (c$, "setParams", 
+function (params) {
+}, "java.util.Map");
+Clazz.overrideMethod (c$, "generate", 
+function () {
+this.putString ("P6\n");
+this.putString (this.width + " " + this.height + "\n");
+this.putString ("255\n");
+var ppmPixels =  Clazz.newByteArray (this.width * 3, 0);
+for (var pt = 0, row = 0; row < this.height; ++row) {
+for (var col = 0, j = 0; col < this.width; ++col, pt++) {
+var p = this.pixels[pt];
+ppmPixels[j++] = ((p >> 16) & 0xff);
+ppmPixels[j++] = ((p >> 8) & 0xff);
+ppmPixels[j++] = (p & 0xff);
+}
+this.out.write (ppmPixels, 0, ppmPixels.length);
+}
+});
+});