import jalview.api.AlignViewportI;
import jalview.bin.Cache;
-import jalview.bin.Jalview;
import jalview.commands.EditCommand;
import jalview.commands.EditCommand.Action;
import jalview.commands.EditCommand.Edit;
{
scrollThread = new ScrollThread();
scrollThread.setMousePosition(mousePos);
- if (!Jalview.isJS())
+ if (!Platform.isJS())
{
/*
* Java - run in a new thread