+ final int idWidth, idWidthForGui;
+ // otherwise calculate it
+ idWidth = getVisibleIdWidth(false);
+ // if (getIdPanel()!=null && getIdPanel().getWidth()>0)
+ // {
+ // // use the current IdPanel's width, if its set and non-zero
+ // idWidthForGui = getIdPanel().getWidth();
+ // } else {
+ // idWidthForGui=0;
+ // }