GrxPositionObserver.java

Go to the documentation of this file.

package com.generalrobotix.ui;

public interface GrxPositionObserver {
    public void updatePosition(GrxBasePlugin plugin, Integer pos);
}