System.out.println("Michael: PlainView.nextTabpStop: missing implementation"); return x;
float tabSizePixels = getTabSize() + metrics.charWidth('m'); return (float) (Math.floor(x / tabSizePixels) + 1) * tabSizePixels;
  public float nextTabStop(float x, int tabStop)  {    System.out.println("Michael: PlainView.nextTabpStop: missing implementation");    return x;  }