0 | module CyBy.Draw.Event
 1 |
 2 | import CyBy.Draw.Internal.Abbreviations
 3 | import CyBy.Draw.Internal.Atom
 4 | import CyBy.Draw.Internal.Graph
 5 | import Derive.Finite
 6 | import Derive.FromJSON.Simple
 7 | import Derive.ToJSON.Simple
 8 | import Derive.Prelude
 9 | import JSON.Simple
10 | import Text.Molfile
11 | import Web.Canvas
12 |
13 | %default total
14 | %language ElabReflection
15 |
16 | --------------------------------------------------------------------------------
17 | -- Color Schemes
18 | --------------------------------------------------------------------------------
19 |
20 | public export
21 | data ColorScheme = Black | CyBy | Groups | CPK | CDK | JMol | PyMol
22 |
23 | %runElab derive "ColorScheme" [Show,Eq,Ord,Finite,FromJSON,ToJSON]
24 |
25 | --------------------------------------------------------------------------------
26 | --          Event
27 | --------------------------------------------------------------------------------
28 |
29 | ||| Modifier key such as "Shift" or "Ctrl" currently being pressed.
30 | public export
31 | data Modifier = NoMod | Ctrl | Shift
32 |
33 | %runElab derive "Modifier" [Show, Eq]
34 |
35 | ||| Resets the pressed modifier key if it matches the keyboard key being
36 | ||| lifted.
37 | export
38 | reset : (mod, current : Modifier) -> Modifier
39 | reset m c = if m == c then NoMod else c
40 |
41 | public export
42 | data DrawEvent : Type where
43 |   ZoomIn           : (atPos : Bool) -> DrawEvent
44 |   ZoomOut          : (atPos : Bool) -> DrawEvent
45 |   Undo             : DrawEvent
46 |   Redo             : DrawEvent
47 |   SetElem          : Elem -> DrawEvent
48 |   ChgElem          : Elem -> DrawEvent
49 |   ChgCharge        : Charge -> DrawEvent
50 |   ChgMass          : Maybe MassNr -> DrawEvent
51 |   SelAbbr          : Abbreviation -> DrawEvent
52 |   SetBond          : MolBond -> DrawEvent
53 |   Move             : (x,y : Double) -> DrawEvent
54 |   LeftDown         : DrawEvent
55 |   LeftUp           : DrawEvent
56 |   MiddleDown       : DrawEvent
57 |   MiddleUp         : DrawEvent
58 |   SetTempl         : CDGraph -> DrawEvent
59 |   Load             : CDGraph -> DrawEvent
60 |   SelectMode       : DrawEvent
61 |   KeyDown          : String -> DrawEvent
62 |   KeyUp            : String -> DrawEvent
63 |   EraseMode        : DrawEvent
64 |   Focus            : DrawEvent
65 |   Blur             : DrawEvent
66 |   Clear            : DrawEvent
67 |   Expand           : DrawEvent
68 |   Center           : DrawEvent
69 |   Redraw           : DrawEvent
70 |   Resize           : (h,w : Double) -> DrawEvent
71 |   StartPSE         : DrawEvent
72 |   SVG              : DrawEvent
73 |   SVGimp           : DrawEvent
74 |
75 | %runElab derive "DrawEvent" [Show, Eq]
76 |