From fbdf90f0deb14ddd8a457ff1f5f7715e4d3c2f2a Mon Sep 17 00:00:00 2001 From: Jakob Odersky Date: Mon, 16 Nov 2009 11:48:01 +0000 Subject: Added new test. --- doc/graphyx/gui/AboutHelpFrame$object.html | 98 ++++++++++++++ doc/graphyx/gui/AboutHelpFrame.html | 138 ++++++++++++++++++++ doc/graphyx/gui/MainPanel.html | 20 +++ doc/graphyx/gui/MenuHelp.html | 202 +++++++++++++++++++++++++++++ doc/graphyx/gui/MenuPanel.html | 175 +++++++++++++++++++++++++ 5 files changed, 633 insertions(+) create mode 100644 doc/graphyx/gui/AboutHelpFrame$object.html create mode 100644 doc/graphyx/gui/AboutHelpFrame.html create mode 100644 doc/graphyx/gui/MenuHelp.html create mode 100644 doc/graphyx/gui/MenuPanel.html (limited to 'doc/graphyx/gui') diff --git a/doc/graphyx/gui/AboutHelpFrame$object.html b/doc/graphyx/gui/AboutHelpFrame$object.html new file mode 100644 index 0000000..776fc9f --- /dev/null +++ b/doc/graphyx/gui/AboutHelpFrame$object.html @@ -0,0 +1,98 @@ + + + object AboutHelpFrame in graphyx.gui + + + + + + + + + + + +
+ graphyx.gui +

+ object AboutHelpFrame +

+
+ [source: graphyx/gui/AboutHelpFrame.scala] +

+
+
+ + + object + AboutHelpFrame +
+
extends AnyRef
+
+ + + + + + + + +
Value Summary
+ val + + frame + : AboutHelpFrame + + +
+ + + +
+ Methods inherited from AnyRef +
+ getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized +
+ + +
+ Methods inherited from Any +
+ ==, !=, isInstanceOf, asInstanceOf +
+ + + + + + +
Value Details
+
+ + + val + frame : AboutHelpFrame +
+
+

+ + + +
+ + + + + + + + + \ No newline at end of file diff --git a/doc/graphyx/gui/AboutHelpFrame.html b/doc/graphyx/gui/AboutHelpFrame.html new file mode 100644 index 0000000..5fcd3aa --- /dev/null +++ b/doc/graphyx/gui/AboutHelpFrame.html @@ -0,0 +1,138 @@ + + + class AboutHelpFrame in graphyx.gui + + + + + + + + + + + +
+ graphyx.gui +

+ class AboutHelpFrame +

+
+ [source: graphyx/gui/AboutHelpFrame.scala] +

+
+
+ + + class + AboutHelpFrame +
+
extends scala.swing.Frame
+
+ + + + + +
+ Values and Variables inherited from scala.swing.Frame +
+ scala.swing.Frame.peer +
+ + +
+ Values and Variables inherited from scala.swing.Publisher +
+ scala.swing.Publisher.listeners +
+ + +
+ Values and Variables inherited from scala.swing.Reactor +
+ scala.swing.Reactor.reactions +
+ + + +
+ Methods inherited from scala.swing.Frame +
+ scala.swing.Frame.title, scala.swing.Frame.title_=, scala.swing.Frame.contents_=, scala.swing.Frame.defaultButton, scala.swing.Frame.defaultButton_=, scala.swing.Frame.defaultButton_=, scala.swing.Frame.dispose, scala.swing.Frame.pack, scala.swing.Frame.menuBar, scala.swing.Frame.menuBar_=, scala.swing.Frame.setLocationRelativeTo, scala.swing.Frame.location_=, scala.swing.Frame.iconImage, scala.swing.Frame.iconImage_= +
+ + +
+ Methods inherited from scala.swing.Publisher +
+ scala.swing.Publisher.subscribe, scala.swing.Publisher.unsubscribe, scala.swing.Publisher.publish +
+ + +
+ Methods inherited from scala.swing.Reactor +
+ scala.swing.Reactor.listenTo, scala.swing.Reactor.deafTo +
+ + +
+ Methods inherited from scala.swing.RootPanel +
+ scala.swing.RootPanel.contents +
+ + +
+ Methods inherited from scala.swing.UIElement +
+ scala.swing.UIElement.self, scala.swing.UIElement.foreground, scala.swing.UIElement.foreground_=, scala.swing.UIElement.background, scala.swing.UIElement.background_=, scala.swing.UIElement.minimumSize, scala.swing.UIElement.minimumSize_=, scala.swing.UIElement.maximumSize, scala.swing.UIElement.maximumSize_=, scala.swing.UIElement.preferredSize, scala.swing.UIElement.preferredSize_=, scala.swing.UIElement.preferredSize_=, scala.swing.UIElement.font, scala.swing.UIElement.font_=, scala.swing.UIElement.locationOnScreen, scala.swing.UIElement.location, scala.swing.UIElement.bounds, scala.swing.UIElement.size, scala.swing.UIElement.size_=, scala.swing.UIElement.size_=, scala.swing.UIElement.locale, scala.swing.UIElement.toolkit, scala.swing.UIElement.cursor, scala.swing.UIElement.cursor_=, scala.swing.UIElement.visible, scala.swing.UIElement.visible_=, scala.swing.UIElement.showing, scala.swing.UIElement.repaint +
+ + +
+ Methods inherited from scala.Proxy +
+ scala.Proxy.hashCode, scala.Proxy.equals, scala.Proxy.toString +
+ + +
+ Methods inherited from AnyRef +
+ getClass, clone, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized +
+ + +
+ Methods inherited from Any +
+ ==, !=, isInstanceOf, asInstanceOf +
+ + + + + + + + +
+ + + + + + + + + \ No newline at end of file diff --git a/doc/graphyx/gui/MainPanel.html b/doc/graphyx/gui/MainPanel.html index a02c4c1..57eb648 100644 --- a/doc/graphyx/gui/MainPanel.html +++ b/doc/graphyx/gui/MainPanel.html @@ -79,6 +79,17 @@ : InfoPanel + + + + + val + + + menuPanel + : MenuPanel + + @@ -247,6 +258,15 @@

+
+
+ + + val + menuPanel : MenuPanel +
+
+

diff --git a/doc/graphyx/gui/MenuHelp.html b/doc/graphyx/gui/MenuHelp.html new file mode 100644 index 0000000..311784d --- /dev/null +++ b/doc/graphyx/gui/MenuHelp.html @@ -0,0 +1,202 @@ + + + class MenuHelp in graphyx.gui + + + + + + + + + + + +
+ graphyx.gui +

+ class MenuHelp +

+
+
+
+ + + class + MenuHelp +
+
extends scala.swing.Menu
+
+ + + + + + + + + + + + +
Value Summary
+ val + + components + : scala.List[scala.swing.MenuItem] + + +
+ val + + miAbout + : scala.swing.MenuItem + + +
+ + +
+ Values and Variables inherited from scala.swing.Menu +
+ scala.swing.Menu.peer +
+ + +
+ Values and Variables inherited from scala.swing.SequentialContainer.Wrapper +
+ scala.swing.SequentialContainer.Wrapper.contents +
+ + +
+ Values and Variables inherited from scala.swing.Container.Wrapper +
+ scala.swing.Container.Wrapper._contents +
+ + +
+ Values and Variables inherited from scala.swing.Component +
+ scala.swing.Component.initP +
+ + +
+ Values and Variables inherited from scala.swing.Publisher +
+ scala.swing.Publisher.listeners +
+ + +
+ Values and Variables inherited from scala.swing.Reactor +
+ scala.swing.Reactor.reactions +
+ + + +
+ Methods inherited from scala.swing.AbstractButton +
+ scala.swing.AbstractButton.text, scala.swing.AbstractButton.text_=, scala.swing.AbstractButton.icon, scala.swing.AbstractButton.icon_=, scala.swing.AbstractButton.pressedIcon, scala.swing.AbstractButton.pressedIcon_=, scala.swing.AbstractButton.selectedIcon, scala.swing.AbstractButton.selectedIcon_=, scala.swing.AbstractButton.disabledIcon, scala.swing.AbstractButton.disabledIcon_=, scala.swing.AbstractButton.disabledSelectedIcon, scala.swing.AbstractButton.disabledSelectedIcon_=, scala.swing.AbstractButton.rolloverIcon, scala.swing.AbstractButton.rolloverIcon_=, scala.swing.AbstractButton.rolloverSelectedIcon, scala.swing.AbstractButton.rolloverSelectedIcon_=, scala.swing.AbstractButton.action, scala.swing.AbstractButton.action_=, scala.swing.AbstractButton.selected, scala.swing.AbstractButton.selected_=, scala.swing.AbstractButton.contentAreaFilled, scala.swing.AbstractButton.contentAreaFilled_=, scala.swing.AbstractButton.borderPainted, scala.swing.AbstractButton.borderPainted_=, scala.swing.AbstractButton.focusPainted, scala.swing.AbstractButton.focusPainted_=, scala.swing.AbstractButton.rolloverEnabled, scala.swing.AbstractButton.rolloverEnabled_=, scala.swing.AbstractButton.verticalTextPosition, scala.swing.AbstractButton.verticalTextPosition_=, scala.swing.AbstractButton.verticalAlignment, scala.swing.AbstractButton.verticalAlignment_=, scala.swing.AbstractButton.horizontalTextPosition, scala.swing.AbstractButton.horizontalTextPosition_=, scala.swing.AbstractButton.horizontalAlignment, scala.swing.AbstractButton.horizontalAlignment_=, scala.swing.AbstractButton.iconTextGap, scala.swing.AbstractButton.iconTextGap_=, scala.swing.AbstractButton.mnemonic, scala.swing.AbstractButton.mnemonic_=, scala.swing.AbstractButton.displayedMnemonicIndex, scala.swing.AbstractButton.displayedMnemonicIndex_=, scala.swing.AbstractButton.multiClickThreshold, scala.swing.AbstractButton.multiClickThreshold_=, scala.swing.AbstractButton.doClick, scala.swing.AbstractButton.doClick, scala.swing.AbstractButton.margin, scala.swing.AbstractButton.margin_= +
+ + +
+ Methods inherited from scala.swing.Component +
+ scala.swing.Component.xLayoutAlignment, scala.swing.Component.xLayoutAlignment_=, scala.swing.Component.yLayoutAlignment, scala.swing.Component.yLayoutAlignment_=, scala.swing.Component.border, scala.swing.Component.border_=, scala.swing.Component.opaque, scala.swing.Component.opaque_=, scala.swing.Component.enabled, scala.swing.Component.enabled_=, scala.swing.Component.tooltip, scala.swing.Component.tooltip_=, scala.swing.Component.inputVerifier, scala.swing.Component.inputVerifier_=, scala.swing.Component.revalidate, scala.swing.Component.requestFocus, scala.swing.Component.paintComponent, scala.swing.Component.paint, scala.swing.Component.toString +
+ + +
+ Methods inherited from scala.swing.Publisher +
+ scala.swing.Publisher.subscribe, scala.swing.Publisher.unsubscribe, scala.swing.Publisher.publish +
+ + +
+ Methods inherited from scala.swing.Reactor +
+ scala.swing.Reactor.listenTo, scala.swing.Reactor.deafTo +
+ + +
+ Methods inherited from scala.swing.UIElement +
+ scala.swing.UIElement.self, scala.swing.UIElement.foreground, scala.swing.UIElement.foreground_=, scala.swing.UIElement.background, scala.swing.UIElement.background_=, scala.swing.UIElement.minimumSize, scala.swing.UIElement.minimumSize_=, scala.swing.UIElement.maximumSize, scala.swing.UIElement.maximumSize_=, scala.swing.UIElement.preferredSize, scala.swing.UIElement.preferredSize_=, scala.swing.UIElement.preferredSize_=, scala.swing.UIElement.font, scala.swing.UIElement.font_=, scala.swing.UIElement.locationOnScreen, scala.swing.UIElement.location, scala.swing.UIElement.bounds, scala.swing.UIElement.size, scala.swing.UIElement.size_=, scala.swing.UIElement.size_=, scala.swing.UIElement.locale, scala.swing.UIElement.toolkit, scala.swing.UIElement.cursor, scala.swing.UIElement.cursor_=, scala.swing.UIElement.visible, scala.swing.UIElement.visible_=, scala.swing.UIElement.showing, scala.swing.UIElement.repaint +
+ + +
+ Methods inherited from scala.Proxy +
+ scala.Proxy.hashCode, scala.Proxy.equals +
+ + +
+ Methods inherited from AnyRef +
+ getClass, clone, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized +
+ + +
+ Methods inherited from Any +
+ ==, !=, isInstanceOf, asInstanceOf +
+ + + + + + +
Value Details
+
+ + + val + miAbout : scala.swing.MenuItem +
+
+

+
+
+ + + val + components : scala.List[scala.swing.MenuItem] +
+
+

+ + + +
+ + + + + + + + + \ No newline at end of file diff --git a/doc/graphyx/gui/MenuPanel.html b/doc/graphyx/gui/MenuPanel.html new file mode 100644 index 0000000..a685510 --- /dev/null +++ b/doc/graphyx/gui/MenuPanel.html @@ -0,0 +1,175 @@ + + + class MenuPanel in graphyx.gui + + + + + + + + + + + +
+ graphyx.gui +

+ class MenuPanel +

+
+
+
+ + + class + MenuPanel(container : Container) +
+
extends scala.swing.BoxPanel
+
+ + + + + + + + +
Value Summary
+ val + + mnu + : scala.swing.MenuBar + + +
+ + +
+ Values and Variables inherited from scala.swing.BoxPanel +
+ scala.swing.BoxPanel.peer +
+ + +
+ Values and Variables inherited from scala.swing.SequentialContainer.Wrapper +
+ scala.swing.SequentialContainer.Wrapper.contents +
+ + +
+ Values and Variables inherited from scala.swing.Container.Wrapper +
+ scala.swing.Container.Wrapper._contents +
+ + +
+ Values and Variables inherited from scala.swing.Component +
+ scala.swing.Component.initP +
+ + +
+ Values and Variables inherited from scala.swing.Publisher +
+ scala.swing.Publisher.listeners +
+ + +
+ Values and Variables inherited from scala.swing.Reactor +
+ scala.swing.Reactor.reactions +
+ + + +
+ Methods inherited from scala.swing.Component +
+ scala.swing.Component.xLayoutAlignment, scala.swing.Component.xLayoutAlignment_=, scala.swing.Component.yLayoutAlignment, scala.swing.Component.yLayoutAlignment_=, scala.swing.Component.border, scala.swing.Component.border_=, scala.swing.Component.opaque, scala.swing.Component.opaque_=, scala.swing.Component.enabled, scala.swing.Component.enabled_=, scala.swing.Component.tooltip, scala.swing.Component.tooltip_=, scala.swing.Component.inputVerifier, scala.swing.Component.inputVerifier_=, scala.swing.Component.revalidate, scala.swing.Component.requestFocus, scala.swing.Component.paintComponent, scala.swing.Component.paint, scala.swing.Component.toString +
+ + +
+ Methods inherited from scala.swing.Publisher +
+ scala.swing.Publisher.subscribe, scala.swing.Publisher.unsubscribe, scala.swing.Publisher.publish +
+ + +
+ Methods inherited from scala.swing.Reactor +
+ scala.swing.Reactor.listenTo, scala.swing.Reactor.deafTo +
+ + +
+ Methods inherited from scala.swing.UIElement +
+ scala.swing.UIElement.self, scala.swing.UIElement.foreground, scala.swing.UIElement.foreground_=, scala.swing.UIElement.background, scala.swing.UIElement.background_=, scala.swing.UIElement.minimumSize, scala.swing.UIElement.minimumSize_=, scala.swing.UIElement.maximumSize, scala.swing.UIElement.maximumSize_=, scala.swing.UIElement.preferredSize, scala.swing.UIElement.preferredSize_=, scala.swing.UIElement.preferredSize_=, scala.swing.UIElement.font, scala.swing.UIElement.font_=, scala.swing.UIElement.locationOnScreen, scala.swing.UIElement.location, scala.swing.UIElement.bounds, scala.swing.UIElement.size, scala.swing.UIElement.size_=, scala.swing.UIElement.size_=, scala.swing.UIElement.locale, scala.swing.UIElement.toolkit, scala.swing.UIElement.cursor, scala.swing.UIElement.cursor_=, scala.swing.UIElement.visible, scala.swing.UIElement.visible_=, scala.swing.UIElement.showing, scala.swing.UIElement.repaint +
+ + +
+ Methods inherited from scala.Proxy +
+ scala.Proxy.hashCode, scala.Proxy.equals +
+ + +
+ Methods inherited from AnyRef +
+ getClass, clone, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized +
+ + +
+ Methods inherited from Any +
+ ==, !=, isInstanceOf, asInstanceOf +
+ + + + + + +
Value Details
+
+ + + val + mnu : scala.swing.MenuBar +
+
+

+ + + +
+ + + + + + + + + \ No newline at end of file -- cgit v1.2.3