Update of /cvsroot/bprocessor/gl/src/net/sourceforge/bprocessor/gl/tool
In directory sc8-pr-cvs3.sourceforge.net:/tmp/cvs-serv13965/src/net/sourceforge/bprocessor/gl/tool
Modified Files:
SpaceTool.java
Log Message:
changed the popup surface label menu back to the old way
Index: SpaceTool.java
===================================================================
RCS file: /cvsroot/bprocessor/gl/src/net/sourceforge/bprocessor/gl/tool/SpaceTool.java,v
retrieving revision 1.75
retrieving revision 1.76
diff -C2 -d -r1.75 -r1.76
*** SpaceTool.java 8 May 2007 07:19:33 -0000 1.75
--- SpaceTool.java 8 May 2007 09:36:49 -0000 1.76
***************
*** 9,13 ****
import java.awt.Cursor;
- import java.awt.Dimension;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
--- 9,12 ----
***************
*** 26,32 ****
import javax.swing.JMenu;
import javax.swing.JMenuItem;
- import javax.swing.JPanel;
import javax.swing.JPopupMenu;
- import javax.swing.JScrollPane;
import org.apache.log4j.Logger;
--- 25,29 ----
***************
*** 375,389 ****
JMenu funcMenu = new JMenu("Functional " + category + "s");
- JPanel funcs = new JPanel();
- JScrollPane funcScroll = new JScrollPane(funcs,
- JScrollPane.VERTICAL_SCROLLBAR_ALWAYS,
- JScrollPane.HORIZONTAL_SCROLLBAR_NEVER);
- funcScroll.setSize(new Dimension(150, 400));
- funcScroll.setPreferredSize(new Dimension(150, 400));
JMenu constMenu = new JMenu("Construction " + category + "s");
! JScrollPane constScroll = new JScrollPane(JScrollPane.VERTICAL_SCROLLBAR_ALWAYS,
! JScrollPane.HORIZONTAL_SCROLLBAR_NEVER);
! constScroll.setSize(new Dimension(150, 400));
! constScroll.setPreferredSize(new Dimension(150, 400));
if (domains != null) {
Iterator domIt = domains.iterator();
--- 372,380 ----
JMenu funcMenu = new JMenu("Functional " + category + "s");
JMenu constMenu = new JMenu("Construction " + category + "s");
! constMenu.add(createConstItem);
! constMenu.addSeparator();
! funcMenu.add(createFuncItem);
! funcMenu.addSeparator();
if (domains != null) {
Iterator domIt = domains.iterator();
***************
*** 396,400 ****
domainItem.addActionListener(ml);
if (domain.isFunctionalSpace()) {
! funcs.add(domainItem);
} else {
constMenu.add(domainItem);
--- 387,391 ----
domainItem.addActionListener(ml);
if (domain.isFunctionalSpace()) {
! funcMenu.add(domainItem);
} else {
constMenu.add(domainItem);
***************
*** 403,411 ****
}
}
- funcMenu.add(funcScroll);
- funcMenu.addSeparator();
- funcMenu.add(createFuncItem);
- constMenu.addSeparator();
- constMenu.add(createConstItem);
menu.add(selectSpaceItem);
menu.add(funcMenu);
--- 394,397 ----
|