00001 package com.generalrobotix.ui; 00002 00003 public interface GrxPositionObserver { 00004 public void updatePosition(GrxBasePlugin plugin, Integer pos); 00005 }