f4759a2eff22e5068add534623d54d424f1a7430
[scilab.git] / scilab / modules / gui / src / java / org / scilab / modules / gui / bridge / toolbar / SwingScilabToolBar.java
1 /*
2  * Scilab ( http://www.scilab.org/ ) - This file is part of Scilab
3  * Copyright (C) 2007 - INRIA - Marouane BEN JELLOUL
4  *
5  * This file must be used under the terms of the CeCILL.
6  * This source file is licensed as described in the file COPYING, which
7  * you should have received as part of this distribution.  The terms
8  * are also available at
9  * http://www.cecill.info/licences/Licence_CeCILL_V2.1-en.txt
10  *
11  */
12
13 package org.scilab.modules.gui.bridge.toolbar;
14
15 import javax.swing.JToolBar;
16
17 import org.scilab.modules.gui.bridge.pushbutton.SwingScilabPushButton;
18 import org.scilab.modules.gui.pushbutton.PushButton;
19 import org.scilab.modules.gui.toolbar.SimpleToolBar;
20 import org.scilab.modules.gui.utils.UIElementMapper;
21
22 /**
23  * Swing implementation for Scilab ToolBar in GUIs
24  * @author Marouane BEN JELLOUL
25  */
26 public class SwingScilabToolBar extends JToolBar implements SimpleToolBar {
27
28     private static final long serialVersionUID = 1L;
29
30     private int elementId;
31
32     /**
33      * Constructor
34      */
35     public SwingScilabToolBar() {
36         super();
37         setFloatable(false);
38         setRollover(true); /* Bug 2752 */
39     }
40
41     /**
42      * Add a PushButton to the ToolBar.
43      * @param pushButton the PushButton to add .
44      */
45     public void add(PushButton pushButton) {
46         super.add((SwingScilabPushButton) pushButton.getAsSimplePushButton());
47     }
48
49     /**
50      * Add a Separator to a Toolbar
51      * @see org.scilab.modules.gui.toolbar.ToolBar#addSeparator(org.scilab.modules.gui..)
52      */
53     public void addSeparator() {
54         super.addSeparator();
55     }
56
57     /**
58      * Get the element id for this toolbar
59      * @return id the id of the corresponding toolbar object
60      */
61     public int getElementId() {
62         return this.elementId;
63     }
64
65     /**
66      * Set the element id for this toolbar
67      * @param id the id of the corresponding toolbar object
68      */
69     public void setElementId(int id) {
70         this.elementId = id;
71     }
72
73 }