}
private void initGUI() {
// title, author, date
TitlePanel tp = new TitlePanel(app);
ActionListener kernelChangedListener = new ActionListener() {
public void actionPerformed(ActionEvent e) {
kernelChanged = true;
}
};
tp.addActionListener(kernelChangedListener);
tp.setBorder(BorderFactory.createEmptyBorder(10,10,10,10));
tabbedPane = new JTabbedPane();
tabbedPane.setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5));
tabbedPane.addTab(app.getMenu("General"), createGeneralSettingsTab());
tabbedPane.addTab(app.getMenu("Advanced"), createAdvancedSettingsTab());