Idris2Doc : CyBy.Draw.Event

CyBy.Draw.Event

(source)
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 DrawMsg : Type
  A data type for logging messages.
  
  Typically, these will not be handled by cyby-draw directly but
  by applications embedding our drawing canvas into their own
  UI.

  Totality: total
  Visibility: public export
  Constructors:
  
Copied : DrawMsg
  Data was copied to clipboard
  
ReadErr : String -> DrawMsg
  Invalid data was read from clipboard

  Hints:
  
Eq DrawMsg
  
Show DrawMsg
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
  
EnableAbbr : 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
  
Show DrawEvent