public static int getFrameWidth ( ) { int result ; String str ; str = get ( "FrameWidth" , "1200" ) ; try { result = Integer . parseInt ( str ) ; } catch ( Exception e ) { result = 1200 ; } return result ; }
Returns the width for the frame .