vips.gui
Class TabControl

java.lang.Object
  org.eclipse.swt.widgets.Widget
      org.eclipse.swt.widgets.Control
          org.eclipse.swt.widgets.Scrollable
              org.eclipse.swt.widgets.Composite
                  vips.gui.TabControl

All Implemented Interfaces:

org.eclipse.swt.graphics.Drawable

public class TabControl
extends org.eclipse.swt.widgets.Composite

Dieses Control stellt einen CTabFolder zur Verfügung, in dem die Editoren geöffnet werden.
Es wird kontrolliert von einer StruktogrammList.

Field Summary

Fields inherited from class org.eclipse.swt.widgets.Control

handle

Constructor Summary

TabControl(org.eclipse.swt.widgets.Composite parent)

Method Summary

Editor	getAngezeigtenEditor() Gibt den momentan angezeigten Editor zurück oder null, wenns keinen gibt.
Editor[]	getOffeneTabs() Gibt alle geöffneten Editoren in einem Array zurück.
void	oeffneTab(Struktogramm strukto) Öffnet strukto in einem Tab und macht diesen Tab sichtbar.
void	schliesseTab(Struktogramm strukto) Schließt den Tab, in dem strukto editiert wird.

Methods inherited from class org.eclipse.swt.widgets.Composite

changed, checkSubclass, computeSize, getBackgroundMode, getChildren, getLayout, getLayoutDeferred, getTabList, isLayoutDeferred, layout, layout, layout, layout, setBackgroundMode, setFocus, setLayout, setLayoutDeferred, setTabList

Methods inherited from class org.eclipse.swt.widgets.Scrollable

computeTrim, getBorderWidth, getClientArea, getHorizontalBar, getVerticalBar

Methods inherited from class org.eclipse.swt.widgets.Control

addControlListener, addDragDetectListener, addFocusListener, addHelpListener, addKeyListener, addMenuDetectListener, addMouseListener, addMouseMoveListener, addMouseTrackListener, addMouseWheelListener, addPaintListener, addTraverseListener, computeSize, dragDetect, dragDetect, forceFocus, getAccessible, getBackground, getBackgroundImage, getBounds, getCursor, getDragDetect, getEnabled, getFont, getForeground, getLayoutData, getLocation, getMenu, getMonitor, getParent, getRegion, getShell, getSize, getToolTipText, getVisible, internal_dispose_GC, internal_new_GC, isEnabled, isFocusControl, isReparentable, isVisible, moveAbove, moveBelow, pack, pack, print, redraw, redraw, removeControlListener, removeDragDetectListener, removeFocusListener, removeHelpListener, removeKeyListener, removeMenuDetectListener, removeMouseListener, removeMouseMoveListener, removeMouseTrackListener, removeMouseWheelListener, removePaintListener, removeTraverseListener, setBackground, setBackgroundImage, setBounds, setBounds, setCapture, setCursor, setDragDetect, setEnabled, setFont, setForeground, setLayoutData, setLocation, setLocation, setMenu, setParent, setRedraw, setRegion, setSize, setSize, setToolTipText, setVisible, toControl, toControl, toDisplay, toDisplay, traverse, update

Methods inherited from class org.eclipse.swt.widgets.Widget

addDisposeListener, addListener, checkWidget, dispose, getData, getData, getDisplay, getListeners, getStyle, isDisposed, isListening, notifyListeners, removeDisposeListener, removeListener, removeListener, setData, setData, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TabControl

public TabControl(org.eclipse.swt.widgets.Composite parent)

Method Detail

oeffneTab

public void oeffneTab(Struktogramm strukto)

Öffnet strukto in einem Tab und macht diesen Tab sichtbar. Wenn strukto bereits geöffnet ist, wird nur der Tab nach vorne gebracht.

Throws:

java.lang.IllegalArgumentException - Wenn strukto null ist

schliesseTab

public void schliesseTab(Struktogramm strukto)

Schließt den Tab, in dem strukto editiert wird.
Diese Methode wird auch aufgerufen, wenn der User auf den Close-Button des Tabs geklickt hat.
Wenn das Struktogramm nicht geöffnet ist, passiert gar nichts.

Throws:

java.lang.IllegalArgumentException - Wenn strukto null ist

getAngezeigtenEditor

public Editor getAngezeigtenEditor()

Gibt den momentan angezeigten Editor zurück oder null, wenns keinen gibt.

getOffeneTabs

public Editor[] getOffeneTabs()

Gibt alle geöffneten Editoren in einem Array zurück.