# HG changeset patch # User Katrin Strassl # Date 1340790506 -7200 # Node ID 915952ed97c0f13750aface1b7f8f13386a2bccc # Parent 119c77c83edec4aeb4e4d8bf79b2f6192721c22b fixed minor layout bug diff -r 119c77c83ede -r 915952ed97c0 visualizer/LogViewer/src/at/ssw/visualizer/logviewer/scene/LogScene.java --- a/visualizer/LogViewer/src/at/ssw/visualizer/logviewer/scene/LogScene.java Fri Jun 22 23:14:42 2012 +0200 +++ b/visualizer/LogViewer/src/at/ssw/visualizer/logviewer/scene/LogScene.java Wed Jun 27 11:48:26 2012 +0200 @@ -118,6 +118,7 @@ Dimension dim = tblResult.getPreferredScrollableViewportSize(); tblResult.setPreferredScrollableViewportSize(new Dimension(dim.width, 10*tblResult.getRowHeight() + tblResult.getTableHeader().getHeight())); JScrollPane scpTblResult = new JScrollPane(tblResult); + scpTblResult.setMinimumSize(new Dimension(dim.width, 10*tblResult.getRowHeight() + tblResult.getTableHeader().getHeight())); logViewer = new BookmarkableLogViewer(); @@ -256,10 +257,6 @@ gbc.gridy++; logViewerPanel.add(btnBookmarkList, gbc); - pnl.setMinimumSize(new Dimension(500,800)); - pnl.setMaximumSize(new Dimension(500,800)); - pnl.setPreferredSize(new Dimension(500,800)); - this.setLayout(new BorderLayout()); this.add(pnl, BorderLayout.CENTER);