}
topPanel.setLayout(new BoxLayout(topPanel, BoxLayout.LINE_AXIS));
topPanel.setPreferredSize(new Dimension(400,30));
pdfSelectionActionListener = new VisualPdfSelectionActionListener(this, pdfLoader);
if(topPanelStyle>=STYLE_TOP_PANEL_FULL){
//load button
loadFileButton.setMargin(new Insets(1, 1, 1, 1));
loadFileButton.setText(GettextResource.gettext(config.getI18nResourceBundle(),"Open"));
loadFileButton.setPreferredSize(new Dimension(100,30));