equal
deleted
inserted
replaced
591 |
591 |
592 /** |
592 /** |
593 * A toolbar-specific separator. An object with dimension but |
593 * A toolbar-specific separator. An object with dimension but |
594 * no contents used to divide buttons on a tool bar into groups. |
594 * no contents used to divide buttons on a tool bar into groups. |
595 */ |
595 */ |
596 static public class Separator extends JSeparator |
596 public static class Separator extends JSeparator |
597 { |
597 { |
598 private Dimension separatorSize; |
598 private Dimension separatorSize; |
599 |
599 |
600 /** |
600 /** |
601 * Creates a new toolbar separator with the default size |
601 * Creates a new toolbar separator with the default size |