/** inits GUI with labels of current language */
public void initGUI() {
geoTree.setFont(app.getPlainFont());
boolean wasShowing = isShowing();
if (wasShowing) {
setVisible(false);
}
// LIST PANEL
JScrollPane listScroller = new JScrollPane(geoTree);
listScroller.setMinimumSize(new Dimension(120, 200));
listScroller.setBackground(geoTree.getBackground());
listScroller.setBorder(BorderFactory.createEmptyBorder(5, 5, 0, 5));
// delete button
delButton = new JButton(app.getImageIcon("delete_small.gif"));
delButton.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
deleteSelectedGeos();
}
});
// apply defaults button
defaultsButton = new JButton();
defaultsButton.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
applyDefaults();
}
});
closeButton = new JButton();
closeButton.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
closeDialog();
}
});
// build button panel with some buttons on the left
// and some on the right
JPanel buttonPanel = new JPanel(new BorderLayout());
JPanel leftButtonPanel = new JPanel(new FlowLayout(FlowLayout.LEFT));
JPanel rightButtonPanel = new JPanel(new FlowLayout(FlowLayout.RIGHT));
buttonPanel.add(rightButtonPanel, BorderLayout.EAST);
buttonPanel.add(leftButtonPanel, BorderLayout.WEST);
// left buttons
if (app.letDelete()) leftButtonPanel.add(delButton);
leftButtonPanel.add(defaultsButton);
// right buttons
rightButtonPanel.add(closeButton);
// PROPERTIES PANEL
if (colChooser == null) {
// init color chooser
colChooser = new GeoGebraColorChooser(app);
}
// check for null added otherwise you get two listeners for the colChooser
// when a file is loaded
if (propPanel == null) {
propPanel = new PropertiesPanel(app, colChooser, false);
propPanel.setBorder(BorderFactory.createEmptyBorder(5, 5, 0, 5));
}
selectionChanged(); // init propPanel
// put it all together
Container contentPane = getContentPane();
contentPane.removeAll();
// contentPane.setBorder(BorderFactory.createEmptyBorder(1, 1, 1, 1));
JSplitPane splitPane = new JSplitPane();
splitPane.setLeftComponent(listScroller);
splitPane.setRightComponent(propPanel);
contentPane.setLayout(new BorderLayout());
contentPane.add(splitPane, BorderLayout.CENTER);
contentPane.add(buttonPanel, BorderLayout.SOUTH);
if (wasShowing) {
setVisible(true);
}
setLabels();
}
