equal
deleted
inserted
replaced
906 public void layoutContainer(Container parent) { |
906 public void layoutContainer(Container parent) { |
907 int width = parent.getWidth(); |
907 int width = parent.getWidth(); |
908 int height = parent.getHeight(); |
908 int height = parent.getHeight(); |
909 |
909 |
910 Insets insets = parent.getInsets(); |
910 Insets insets = parent.getInsets(); |
|
911 |
|
912 if (nextButton == null && previousButton == null) { |
|
913 setBounds(editor, insets.left, insets.top, width - insets.left - insets.right, |
|
914 height - insets.top - insets.bottom); |
|
915 |
|
916 return; |
|
917 } |
|
918 |
911 Dimension nextD = preferredSize(nextButton); |
919 Dimension nextD = preferredSize(nextButton); |
912 Dimension previousD = preferredSize(previousButton); |
920 Dimension previousD = preferredSize(previousButton); |
913 int buttonsWidth = Math.max(nextD.width, previousD.width); |
921 int buttonsWidth = Math.max(nextD.width, previousD.width); |
914 int editorHeight = height - (insets.top + insets.bottom); |
922 int editorHeight = height - (insets.top + insets.bottom); |
915 |
923 |