Example #1
0
 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;
 }
Example #2
0
 public void update() {
   if (!minimized) {
     WorkspaceController.refreshCodeRegion(null);
   }
 }