docs: public static int getFrameWidth() {
          int result;
          String str;
          str = get("FrameWidth", "1200");
          try {
              result = Integer.parseInt(str);
          }
          catch (Exception e) {
              result = 1200;
          }
          return result;
      }