jfig.gui
Class JLayerManager

java.lang.Object
  extended byjfig.gui.JLayerManager
All Implemented Interfaces:
java.awt.event.ActionListener, java.util.EventListener

public class JLayerManager
extends java.lang.Object
implements java.awt.event.ActionListener


Nested Class Summary
(package private)  class JLayerManager.OneLayerPanel
           
 
Field Summary
(package private)  javax.swing.JButton allButton
           
(package private)  java.util.Hashtable boxTable
           
(package private)  java.awt.Font defaultFont
           
(package private)  FigBasicEditor editor
           
(package private)  JNumericStateButton editorLayerButton
           
(package private)  javax.swing.JButton invertButton
           
(package private)  javax.swing.JComponent layersPanel
           
(package private)  java.util.Hashtable layerTable
           
(package private)  javax.swing.JPanel managerPanel
           
(package private)  javax.swing.JButton noneButton
           
(package private)  javax.swing.JButton reloadButton
           
(package private)  java.lang.String s_unregistered
           
(package private)  javax.swing.JScrollPane scroller
           
 
Constructor Summary
JLayerManager()
           
 
Method Summary
 void actionPerformed(java.awt.event.ActionEvent e)
           
 void addLayer(int layer)
          add a new layer to our data structures, which includes the layer GUI.
 void buildLayerBoxPanel()
          build the panel that displays the numerically-sorted list of all currently available layers.
 void doReloadLayers()
           
 void doShowAllLayers()
           
 void doShowInvertLayers()
           
 void doShowNoneLayers()
           
 javax.swing.JComponent getPanel()
           
 boolean isSelectedLayer(int layer)
           
static void main(java.lang.String[] argv)
           
static void msg(java.lang.String s)
           
 void removeLayerBoxes()
           
 void selectCurrentLayer(int layer)
          request the editor to select the given layer as the current layer for the next drawing operations.
 void setEditor(FigBasicEditor editor)
           
 void setEditorLayerButton(JNumericStateButton button)
           
 void setSelectedLayer(int layer, boolean b)
           
 void updateObjectList()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

editor

FigBasicEditor editor

editorLayerButton

JNumericStateButton editorLayerButton

layerTable

java.util.Hashtable layerTable

boxTable

java.util.Hashtable boxTable

defaultFont

java.awt.Font defaultFont

managerPanel

javax.swing.JPanel managerPanel

layersPanel

javax.swing.JComponent layersPanel

scroller

javax.swing.JScrollPane scroller

reloadButton

javax.swing.JButton reloadButton

allButton

javax.swing.JButton allButton

noneButton

javax.swing.JButton noneButton

invertButton

javax.swing.JButton invertButton

s_unregistered

java.lang.String s_unregistered
Constructor Detail

JLayerManager

public JLayerManager()
Method Detail

setEditor

public void setEditor(FigBasicEditor editor)

setEditorLayerButton

public void setEditorLayerButton(JNumericStateButton button)

getPanel

public javax.swing.JComponent getPanel()

addLayer

public void addLayer(int layer)
add a new layer to our data structures, which includes the layer GUI. Adding the same layer twice or multiple times is allowed. For performance reasons, this method does not automatically sort the layer data structures.


removeLayerBoxes

public void removeLayerBoxes()

buildLayerBoxPanel

public void buildLayerBoxPanel()
build the panel that displays the numerically-sorted list of all currently available layers. We always use a vertical BoxLayout and a ScrollPane.


actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)
Specified by:
actionPerformed in interface java.awt.event.ActionListener

doShowAllLayers

public void doShowAllLayers()

doShowNoneLayers

public void doShowNoneLayers()

doShowInvertLayers

public void doShowInvertLayers()

doReloadLayers

public void doReloadLayers()

updateObjectList

public void updateObjectList()

isSelectedLayer

public boolean isSelectedLayer(int layer)

setSelectedLayer

public void setSelectedLayer(int layer,
                             boolean b)

selectCurrentLayer

public void selectCurrentLayer(int layer)
request the editor to select the given layer as the current layer for the next drawing operations.


msg

public static void msg(java.lang.String s)

main

public static void main(java.lang.String[] argv)