Package org.evoludo.simulator

Interface Resources

All Superinterfaces:

ClientBundle

public interface Resources
extends ClientBundle

The interface to provide access to GWT specific resource files.

Author:

Christoph Hauert

Nested Class Summary

Nested classes/interfaces inherited from interface ClientBundle

ClientBundle.Source

Field Summary

Fields

Modifier and Type	Field	Description
static final Resources	INSTANCE	'Instantiate' the interface.

Method Summary

Modifier and Type	Method	Description
TextResource	canvas2SVG()	Get the JavaScript file for exporting canvas elements to SVG.
ImageResource	circles()	Get decorations for GWT GUI elements.
ImageResource	corner()	Get decorations for GWT GUI elements.
CssResource	css()	Get the GSS style file for the GWT EvoLudo GUI.
DataResource	cursorRotate()	Get the rotate cursor.
ImageResource	hBorder()	Get the horizontal border for GWT GUI elements.
ImageResource	logoSmall()	Get the EvoLudo logo.
ImageResource	thumbHorizontal()	Get the GWT sprite for VerticalSplitPanel GUI elements.
ImageResource	thumbVertical()	Get the GWT sprite for HorizontalSplitPanel GUI elements.
TextResource	touchEventsGWTHandler()	Get the JavaScript file for patching the macOS patch for Apple Books (iBooks) on devices without touch.
ImageResource	vBorder()	Get the vertical border for GWT GUI elements.
TextResource	zip()	Get the JavaScript file for accepting compressed files for restoring states through drag'n'drop.

Field Details

INSTANCE

static final Resources INSTANCE

'Instantiate' the interface.

Method Details

css

@Source("resources/EvoLudo.gss")
@NotStrict
CssResource css()

Get the GSS style file for the GWT EvoLudo GUI.

Returns:

the CSS resource

canvas2SVG

@Source("resources/Canvas2SVG.js")
TextResource canvas2SVG()

Get the JavaScript file for exporting canvas elements to SVG.

Returns:

the JavaScript file

touchEventsGWTHandler

@Source("resources/TouchEventsGWT.js")
TextResource touchEventsGWTHandler()

Get the JavaScript file for patching the macOS patch for Apple Books (iBooks) on devices without touch.

Returns:

the JavaScript file

zip

@Source("resources/jszip.js")
TextResource zip()

Get the JavaScript file for accepting compressed files for restoring states through drag'n'drop.

Returns:

the JavaScript file

logoSmall

@Source("resources/logo.small.png")
@ImageOptions(repeatStyle=None)
ImageResource logoSmall()

Get the EvoLudo logo.

Returns:

the image resource

cursorRotate

@Source("resources/cursorRotate.svg")
@MimeType("image/svg+xml")
DataResource cursorRotate()

Get the rotate cursor.

Returns:

the image resource

hBorder

@Source("resources/hborder.png")
@ImageOptions(repeatStyle=Horizontal)
ImageResource hBorder()

Get the horizontal border for GWT GUI elements.

Returns:

the image resource

vBorder

@Source("resources/vborder.png")
@ImageOptions(repeatStyle=Vertical)
ImageResource vBorder()

Get the vertical border for GWT GUI elements.

Returns:

the image resource

circles

@Source("resources/circles.png")
@ImageOptions(repeatStyle=None)
ImageResource circles()

Get decorations for GWT GUI elements.

Returns:

the image resource

corner

@Source("resources/corner.png")
@ImageOptions(repeatStyle=None)
ImageResource corner()

Get decorations for GWT GUI elements.

Returns:

the image resource

thumbHorizontal

@Source("resources/thumb_horz.png")
@ImageOptions(repeatStyle=None)
ImageResource thumbHorizontal()

Get the GWT sprite for VerticalSplitPanel GUI elements.

Returns:

the image resource

thumbVertical

@Source("resources/thumb_vertical.png")
@ImageOptions(repeatStyle=None)
ImageResource thumbVertical()

Get the GWT sprite for HorizontalSplitPanel GUI elements.

Returns:

the image resource