CyBy.Draw.Event

Definitions

data ColorScheme : Type

Totality: total
Visibility: public export
Constructors:

Black : ColorScheme

CyBy : ColorScheme

Groups : ColorScheme

CPK : ColorScheme

CDK : ColorScheme

JMol : ColorScheme

PyMol : ColorScheme

Hints:

Eq ColorScheme

Finite ColorScheme

FromJSON ColorScheme

Ord ColorScheme

Show ColorScheme

ToJSON ColorScheme

data Modifier : Type

  Modifier key such as "Shift" or "Ctrl" currently being pressed.

Totality: total
Visibility: public export
Constructors:

NoMod : Modifier

Ctrl : Modifier

Shift : Modifier

Hints:

Eq Modifier

Show Modifier

reset : Modifier -> Modifier -> Modifier

  Resets the pressed modifier key if it matches the keyboard key being
  lifted.

Totality: total
Visibility: export

data DrawEvent : Type

Totality: total
Visibility: public export
Constructors:

ZoomIn : Bool -> DrawEvent

ZoomOut : Bool -> DrawEvent

Undo : DrawEvent

Redo : DrawEvent

SetElem : Elem -> DrawEvent

ChgElem : Elem -> DrawEvent

ChgCharge : Charge -> DrawEvent

ChgMass : Maybe MassNr -> DrawEvent

SelAbbr : Abbreviation -> DrawEvent

SetBond : MolBond -> DrawEvent

Move : Double -> Double -> DrawEvent

LeftDown : DrawEvent

LeftUp : DrawEvent

MiddleDown : DrawEvent

MiddleUp : DrawEvent

SetTempl : CDGraph -> DrawEvent

Load : CDGraph -> DrawEvent

SelectMode : DrawEvent

KeyDown : String -> DrawEvent

KeyUp : String -> DrawEvent

EraseMode : DrawEvent

Focus : DrawEvent

Blur : DrawEvent

Clear : DrawEvent

Expand : DrawEvent

Center : DrawEvent

Redraw : DrawEvent

Resize : Double -> Double -> DrawEvent

StartPSE : DrawEvent

SVG : DrawEvent

SVGimp : DrawEvent

Hints:

Eq DrawEvent

DrawLocal => Loggable JS DrawEvent

Show DrawEvent