KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > aspectj > debugger > gui > CommandLinePanel


1 /* -*- Mode: Java; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*-
2  *
3  * This file is part of the compiler and core tools for the AspectJ(tm)
4  * programming language; see http://aspectj.org
5  *
6  * The contents of this file are subject to the Mozilla Public License
7  * Version 1.1 (the "License"); you may not use this file except in
8  * compliance with the License. You may obtain a copy of the License at
9  * either http://www.mozilla.org/MPL/ or http://aspectj.org/MPL/.
10  *
11  * Software distributed under the License is distributed on an "AS IS" basis,
12  * WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
13  * for the specific language governing rights and limitations under the
14  * License.
15  *
16  * The Original Code is AspectJ.
17  *
18  * The Initial Developer of the Original Code is Xerox Corporation. Portions
19  * created by Xerox Corporation are Copyright (C) 1999-2002 Xerox Corporation.
20  * All Rights Reserved.
21  *
22  * Contributor(s):
23  */
24 package org.aspectj.debugger.gui;
25
26 import javax.swing.*;
27 import java.awt.event.*;
28
29 public class CommandLinePanel extends JPanel{
30     private JCheckBox cb = new JCheckBox("", false);
31     private JComponent jc = null;
32     {
33         cb.addItemListener(new ItemListener() {
34                 public void itemStateChanged(ItemEvent e) {
35                     jc.setVisible(e.getStateChange() == ItemEvent.DESELECTED ? false : true);
36                 }
37             });
38         cb.setToolTipText("Show command line");
39     }
40     final static GUIDebugger guid() {
41         return ComponentRepository.getGUIDebugger();
42     }
43     public CommandLinePanel(boolean setVisible) {
44         this(guid(), setVisible);
45     }
46     public CommandLinePanel() {
47         this(guid());
48     }
49     public CommandLinePanel(GUIDebugger guid) {
50         this(guid, System.getProperty("user.name").equals("palm"));
51     }
52     public CommandLinePanel(GUIDebugger guid, boolean setVisible) {
53         super();
54         setLayout(new BoxLayout(this, BoxLayout.X_AXIS));
55         add(cb);
56         jc = ComponentRepository.getCommandLine();
57         add(jc);
58         jc.setVisible(setVisible);
59     }
60 }
61
Popular Tags