Merge branch 'master' of https://source.jalview.org/git/jalviewjs.git
[jalviewjs.git] / src / javajs / api / PlatformViewer.java
1 package javajs.api;
2
3 public interface PlatformViewer {
4
5 // a placeholder for a class that might be used within classes called by Platform.java
6   
7 }