*/
package jalview.gui;
-import jalview.bin.Jalview;
import jalview.datamodel.Sequence;
import jalview.datamodel.SequenceFeature;
import jalview.datamodel.SequenceGroup;
void startScrolling(boolean up)
{
scrollThread = new ScrollThread(up);
- if (!Jalview.isJS())
+ if (!Platform.isJS())
{
/*
* Java - run in a new thread