{
// propagate alignment changed.
- viewport.getRanges().setEndSeq(alignment.getHeight());
+ viewport.getRanges().setEndSeq(alignment.getHeight() - 1);
if (annotationAdded)
{
// Duplicate sequence annotation in all views.
/**
* Java only
*
- * @j2sNative
+ * @j2sIgnore
*/
{
JEditorPane editPane = new JEditorPane("text/html", "");
: FormatAdapter.checkProtocol(fileName));
if (protocol == DataSourceType.FILE)
{
- File fl = (file instanceof File ? (File) file
- : new File(fileName));
+ File fl;
+ if (file instanceof File) {
+ fl = (File) file;
+ Platform.cacheFileData(fl);
+ } else {
+ fl = new File(fileName);
+ }
pdbfn = fl.getName();
}
else if (protocol == DataSourceType.URL)