зеркало из https://github.com/mozilla/gecko-dev.git
101 строка
2.6 KiB
Java
101 строка
2.6 KiB
Java
/* -*- Mode: java; indent-tabs-mode: nil; c-basic-offset: 2 -*-
|
|
*
|
|
* The contents of this file are subject to the Mozilla Public
|
|
* License Version 1.1 (the "License"); you may not use this file
|
|
* except in compliance with the License. You may obtain a copy of
|
|
* the License at http://www.mozilla.org/MPL/
|
|
*
|
|
* Software distributed under the License is distributed on an "AS
|
|
* IS" basis, WITHOUT WARRANTY OF ANY KIND, either express or
|
|
* implied. See the License for the specific language governing
|
|
* rights and limitations under the License.
|
|
*
|
|
* The Original Code is the Grendel mail/news client.
|
|
*
|
|
* The Initial Developer of the Original Code is Jeff Galyan
|
|
* <talisman@anamorphic.com>. Portions created by Jeff Galyan are
|
|
* Copyright (C) 1997 Jeff Galyan. All
|
|
* Rights Reserved.
|
|
*
|
|
* Contributor(s): Edwin Woudt <edwin@woudt.nl>
|
|
*/
|
|
|
|
package grendel.widgets;
|
|
|
|
import java.awt.Dimension;
|
|
import java.awt.Font;
|
|
import java.awt.GridBagConstraints;
|
|
import java.awt.Insets;
|
|
|
|
import java.net.URL;
|
|
|
|
import javax.swing.BorderFactory;
|
|
import javax.swing.ImageIcon;
|
|
import javax.swing.JToolBar;
|
|
import javax.swing.JButton;
|
|
|
|
import grendel.ui.ToolBarLayout;
|
|
import grendel.ui.UIAction;
|
|
|
|
import grendel.widgets.Animation;
|
|
import grendel.widgets.Spring;
|
|
import grendel.widgets.ToolBarButton;
|
|
|
|
public class GrendelToolBar extends JToolBar {
|
|
|
|
private ToolBarLayout layout;
|
|
|
|
public GrendelToolBar() {
|
|
super();
|
|
layout = new ToolBarLayout();
|
|
setLayout(layout);
|
|
setFloatable(false);
|
|
}
|
|
|
|
public Spring makeNewSpring() {
|
|
return layout.createSpring();
|
|
}
|
|
|
|
public void addButton(UIAction aActionListener,
|
|
String aImageName,
|
|
String aText,
|
|
String aToolTip) {
|
|
ToolBarButton b = new ToolBarButton();
|
|
|
|
b.setHorizontalTextPosition(JButton.CENTER);
|
|
b.setVerticalTextPosition(JButton.BOTTOM);
|
|
Font f=b.getFont();
|
|
Font nf=new Font(f.getName(), Font.PLAIN, f.getSize()-2);
|
|
b.setFont(nf);
|
|
b.setText(aText);
|
|
|
|
b.setRolloverEnabled(true);
|
|
b.setBorder(BorderFactory.createEmptyBorder());
|
|
b.setToolTipText(aToolTip);
|
|
|
|
URL iconUrl = getClass().getResource("toolbar/mozilla/" + aImageName + ".gif");
|
|
b.setIcon(new ImageIcon(iconUrl));
|
|
|
|
Dimension d=b.getPreferredSize();
|
|
double w=d.getWidth();
|
|
if (w > 52) {
|
|
d = new Dimension((int)w, 50);
|
|
} else {
|
|
d = new Dimension(52, 50);
|
|
}
|
|
b.setMinimumSize(d);
|
|
b.setMaximumSize(d);
|
|
b.setPreferredSize(d);
|
|
|
|
if (aActionListener != null) {
|
|
b.addActionListener(aActionListener);
|
|
} else {
|
|
b.setEnabled(false);
|
|
}
|
|
|
|
add(b);
|
|
|
|
}
|
|
|
|
}
|