public void mouseClicked(MouseEvent e) {
if (minimized) {
WorkspaceController.refreshCodeRegion(null);
codeButton.setText(Language.get("codeButton.title.close"));
expanded = true;
enlarger.expand();
} else {
codeButton.setText(Language.get("codeButton.title.open"));
expanded = false;
enlarger.shrink();
}
minimized = !minimized;
}
public void update() {
if (!minimized) {
WorkspaceController.refreshCodeRegion(null);
}
}
