code: public int[] getWidths() {
          int[] wx = new int[mtxTab.length];
          for (int i = 0; i < wx.length; i++) {
              wx[i] = (mtxTab[i].getWx());
          }
  
          return wx;
      }
docs: Returns an array of character widths.
  @return int[] The character widths