413 } 414 if (frameName != null) { 415 String propName = FormView.PostDataProperty + "." + frameName; 416 Document d = p.getDocument(); 417 postData = d.getProperty(propName); 418 if (postData != null) { 419 targetPane.getDocument().putProperty( 420 FormView.PostDataProperty, postData); 421 d.putProperty(propName, null); 422 } 423 } 424 } 425 426 return postData; 427 } 428 429 /** 430 * Determines the minimum span for this view along an 431 * axis. 432 * 433 * @param axis may be either <code>View.X_AXIS</code> or 434 * <code>View.Y_AXIS</code> 435 * @return the preferred span; given that we do not 436 * support resizing of frames, the minimum span returned 437 * is the same as the preferred span 438 * 439 */ 440 public float getMinimumSpan(int axis) { 441 return 5; 442 } 443 444 /** 445 * Determines the maximum span for this view along an 446 * axis. 447 * 448 * @param axis may be either <code>View.X_AXIS</code> or 449 * <code>View.Y_AXIS</code> 450 * @return the preferred span; given that we do not 451 * support resizing of frames, the maximum span returned 452 * is the same as the preferred span 453 * 454 */ 455 public float getMaximumSpan(int axis) { 456 return Integer.MAX_VALUE; 457 } 458 459 /** Editor pane rendering frame of HTML document 460 * It uses the same editor kits classes as outermost JEditorPane 461 */ 462 @SuppressWarnings("serial") // Superclass is not serializable across versions 463 class FrameEditorPane extends JEditorPane implements FrameEditorPaneTag { 464 public EditorKit getEditorKitForContentType(String type) { 465 EditorKit editorKit = super.getEditorKitForContentType(type); 466 JEditorPane outerMostJEditorPane = null; 467 if ((outerMostJEditorPane = getOutermostJEditorPane()) != null) { 468 EditorKit inheritedEditorKit = outerMostJEditorPane.getEditorKitForContentType(type); 469 if (! editorKit.getClass().equals(inheritedEditorKit.getClass())) { | 413 } 414 if (frameName != null) { 415 String propName = FormView.PostDataProperty + "." + frameName; 416 Document d = p.getDocument(); 417 postData = d.getProperty(propName); 418 if (postData != null) { 419 targetPane.getDocument().putProperty( 420 FormView.PostDataProperty, postData); 421 d.putProperty(propName, null); 422 } 423 } 424 } 425 426 return postData; 427 } 428 429 /** 430 * Determines the minimum span for this view along an 431 * axis. 432 * 433 * @param axis may be either {@code View.X_AXIS} or 434 * {@code View.Y_AXIS} 435 * @return the preferred span; given that we do not 436 * support resizing of frames, the minimum span returned 437 * is the same as the preferred span 438 * 439 */ 440 public float getMinimumSpan(int axis) { 441 return 5; 442 } 443 444 /** 445 * Determines the maximum span for this view along an 446 * axis. 447 * 448 * @param axis may be either {@code View.X_AXIS} or 449 * {@code View.Y_AXIS} 450 * @return the preferred span; given that we do not 451 * support resizing of frames, the maximum span returned 452 * is the same as the preferred span 453 * 454 */ 455 public float getMaximumSpan(int axis) { 456 return Integer.MAX_VALUE; 457 } 458 459 /** Editor pane rendering frame of HTML document 460 * It uses the same editor kits classes as outermost JEditorPane 461 */ 462 @SuppressWarnings("serial") // Superclass is not serializable across versions 463 class FrameEditorPane extends JEditorPane implements FrameEditorPaneTag { 464 public EditorKit getEditorKitForContentType(String type) { 465 EditorKit editorKit = super.getEditorKitForContentType(type); 466 JEditorPane outerMostJEditorPane = null; 467 if ((outerMostJEditorPane = getOutermostJEditorPane()) != null) { 468 EditorKit inheritedEditorKit = outerMostJEditorPane.getEditorKitForContentType(type); 469 if (! editorKit.getClass().equals(inheritedEditorKit.getClass())) { |