X-Git-Url: http://source.jalview.org/gitweb/?p=jalviewjs.git;a=blobdiff_plain;f=src%2Fjavajs%2Fapi%2FGenericPlatform.java;fp=src%2Fjavajs%2Fapi%2FGenericPlatform.java;h=9c99e416849ee14c4cd7452abc7f3b7983bd2dcc;hp=c804846540a4b612d446aa9eb8b555d3e5dc9da8;hb=b9b7a352eee79b7764c3b09c9d19663075061d8c;hpb=7301a2415adab88038b291fc54caeeb3a5a47a44

diff --git a/src/javajs/api/GenericPlatform.java b/src/javajs/api/GenericPlatform.java
index c804846..9c99e41 100644
--- a/src/javajs/api/GenericPlatform.java
+++ b/src/javajs/api/GenericPlatform.java
@@ -1,141 +1,141 @@
-package javajs.api;
-
-
-import java.net.URL;
-import java.util.Map;
-
-
-import javajs.awt.Font;
-import javajs.util.P3;
-
-public interface GenericPlatform extends FontManager {
-
-  public final static int CURSOR_DEFAULT = 0;
-  public final static int CURSOR_CROSSHAIR = 1;
-  public final static int CURSOR_WAIT = 3;
-  public final static int CURSOR_ZOOM = 8;
-  public final static int CURSOR_HAND = 12;
-  public final static int CURSOR_MOVE = 13;
-
-  void setViewer(PlatformViewer vwr, Object display);
-  
-  /////// Display
-
-  boolean isHeadless();
-  
-  void convertPointFromScreen(Object display, P3 ptTemp);
-
-  void getFullScreenDimensions(Object display, int[] widthHeight);
-  
-  boolean hasFocus(Object display);
-
-  String prompt(String label, String data, String[] list, boolean asButtons);
-
-  void repaint(Object display);
-
-  void requestFocusInWindow(Object display);
-
-  void setCursor(int i, Object display);
-
-  void setTransparentCursor(Object display);
-
-  ////  Mouse 
-
-  GenericMouseInterface getMouseManager(double privateKey, Object display);
-
-  ///// core Image handling
-  
-  Object allocateRgbImage(int windowWidth, int windowHeight, int[] pBuffer,
-                          int windowSize, boolean backgroundTransparent, boolean isImageWrite);
-
-  void disposeGraphics(Object graphicForText);
-
-  void drawImage(Object g, Object img, int x, int y, int width, int height);
-
-  int[] drawImageToBuffer(Object gObj, Object imageOffscreen,
-                          Object image, int width, int height, int bgcolor);
-
-  void flushImage(Object imagePixelBuffer);
-
-  Object getStaticGraphics(Object image, boolean backgroundTransparent);
-
-  Object getGraphics(Object image);
-
-  int getImageWidth(Object image);
-
-  int getImageHeight(Object image);
-
-  Object newBufferedImage(Object image, int i, int height);
-
-  Object newOffScreenImage(int w, int h);
-  
-  @Deprecated
-  void renderScreenImage(Object g, Object currentSize);
-
-  int[] getTextPixels(String text, Font font3d, Object gObj,
-                      Object image, int mapWidth, int height,
-                      int ascent);
-
-  ///// Image creation for export (optional for any platform)
-
-  /**
-   * can be ignored (return null) if platform cannot save images
-   * 
-   * @param ret
-   * @return     null only if this platform cannot save images
-   */
-  Object createImage(Object ret);
-
-  /**
-   * 
-   * @param image
-   * @param width
-   * @param height
-   * @param pixels 
-   * @param startRow 
-   * @param nRows 
-   * @return         pixels
-   */
-  int[] grabPixels(Object image, int width, int height, 
-                   int[] pixels, int startRow, int nRows);
-
-  /**
-   * can be ignored (return false) if platform cannot save images
-   * 
-   * @param boolIsEcho
-   * @param image
-   * @return        false only if this platform cannot save images
-   * @throws InterruptedException
-   */
-  boolean waitForDisplay(Object boolIsEcho, Object image) throws InterruptedException;
-
-  GenericMenuInterface getMenuPopup(String menuStructure, char type);
-
-  Object getJsObjectInfo(Object[] jsObject, String method, Object[] args);
-
-  boolean isSingleThreaded();
-
-  void notifyEndOfRendering();
-
-  String getDateFormat(String isoType);
-  
-  GenericFileInterface newFile(String name);
-  
-  Object getBufferedFileInputStream(String name);
-  
-  /**
-   * 
-   * @param url
-   * @param outputBytes
-   * @param post
-   * @param asString
-   * @return may be javajs.util.SB or byte[] or java.io.InputStream
-   */
-  Object getURLContents(URL url, byte[] outputBytes, String post, boolean asString);
-
-  String getLocalUrl(String fileName);
-
-  GenericImageDialog getImageDialog(String title,
-                                 Map<String, GenericImageDialog> imageMap);
-
-}
+package javajs.api;
+
+
+import java.net.URL;
+import java.util.Map;
+
+
+import javajs.awt.Font;
+import javajs.util.P3;
+
+public interface GenericPlatform extends FontManager {
+
+  public final static int CURSOR_DEFAULT = 0;
+  public final static int CURSOR_CROSSHAIR = 1;
+  public final static int CURSOR_WAIT = 3;
+  public final static int CURSOR_ZOOM = 8;
+  public final static int CURSOR_HAND = 12;
+  public final static int CURSOR_MOVE = 13;
+
+  void setViewer(PlatformViewer vwr, Object display);
+  
+  /////// Display
+
+  boolean isHeadless();
+  
+  void convertPointFromScreen(Object display, P3 ptTemp);
+
+  void getFullScreenDimensions(Object display, int[] widthHeight);
+  
+  boolean hasFocus(Object display);
+
+  String prompt(String label, String data, String[] list, boolean asButtons);
+
+  void repaint(Object display);
+
+  void requestFocusInWindow(Object display);
+
+  void setCursor(int i, Object display);
+
+  void setTransparentCursor(Object display);
+
+  ////  Mouse 
+
+  GenericMouseInterface getMouseManager(double privateKey, Object display);
+
+  ///// core Image handling
+  
+  Object allocateRgbImage(int windowWidth, int windowHeight, int[] pBuffer,
+                          int windowSize, boolean backgroundTransparent, boolean isImageWrite);
+
+  void disposeGraphics(Object graphicForText);
+
+  void drawImage(Object g, Object img, int x, int y, int width, int height);
+
+  int[] drawImageToBuffer(Object gObj, Object imageOffscreen,
+                          Object image, int width, int height, int bgcolor);
+
+  void flushImage(Object imagePixelBuffer);
+
+  Object getStaticGraphics(Object image, boolean backgroundTransparent);
+
+  Object getGraphics(Object image);
+
+  int getImageWidth(Object image);
+
+  int getImageHeight(Object image);
+
+  Object newBufferedImage(Object image, int i, int height);
+
+  Object newOffScreenImage(int w, int h);
+  
+  @Deprecated
+  void renderScreenImage(Object g, Object currentSize);
+
+  int[] getTextPixels(String text, Font font3d, Object gObj,
+                      Object image, int mapWidth, int height,
+                      int ascent);
+
+  ///// Image creation for export (optional for any platform)
+
+  /**
+   * can be ignored (return null) if platform cannot save images
+   * 
+   * @param ret
+   * @return     null only if this platform cannot save images
+   */
+  Object createImage(Object ret);
+
+  /**
+   * 
+   * @param image
+   * @param width
+   * @param height
+   * @param pixels 
+   * @param startRow 
+   * @param nRows 
+   * @return         pixels
+   */
+  int[] grabPixels(Object image, int width, int height, 
+                   int[] pixels, int startRow, int nRows);
+
+  /**
+   * can be ignored (return false) if platform cannot save images
+   * 
+   * @param boolIsEcho
+   * @param image
+   * @return        false only if this platform cannot save images
+   * @throws InterruptedException
+   */
+  boolean waitForDisplay(Object boolIsEcho, Object image) throws InterruptedException;
+
+  GenericMenuInterface getMenuPopup(String menuStructure, char type);
+
+  Object getJsObjectInfo(Object[] jsObject, String method, Object[] args);
+
+  boolean isSingleThreaded();
+
+  void notifyEndOfRendering();
+
+  String getDateFormat(String isoType);
+  
+  GenericFileInterface newFile(String name);
+  
+  Object getBufferedFileInputStream(String name);
+  
+  /**
+   * 
+   * @param url
+   * @param outputBytes
+   * @param post
+   * @param asString
+   * @return may be javajs.util.SB or byte[] or java.io.InputStream
+   */
+  Object getURLContents(URL url, byte[] outputBytes, String post, boolean asString);
+
+  String getLocalUrl(String fileName);
+
+  GenericImageDialog getImageDialog(String title,
+                                 Map<String, GenericImageDialog> imageMap);
+
+}