tweaking new layout for windows

This commit is contained in:
benfry
2002-11-19 22:53:51 +00:00
parent 49fd358328
commit d53bdc5c4a
3 changed files with 19 additions and 6 deletions

View File

@@ -211,6 +211,10 @@ public class PdeEditorHeader extends Panel /* implements ActionListener*/ {
return new Dimension(300, PdeEditor.GRID_SIZE);
}
public Dimension getMaximumSize() {
return new Dimension(3000, PdeEditor.GRID_SIZE);
}
/*
public void actionPerformed(ActionEvent e) {