-
Notifications
You must be signed in to change notification settings - Fork 16
/
ckeditor.urs
114 lines (96 loc) · 1.9 KB
/
ckeditor.urs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
datatype size =
DefaultSize
| Pixels of int
| Percent of int
datatype button =
Separator
| Source
| Save
| NewPage
| DocProps
| Preview
| Print
| Templates
| Document
| Cut
| Copy
| Paste
| PasteText
| PasteFromWord
| Undo
| Redo
| Find
| Replace
| SelectAll
| Scayt
| Form
| Checkbox
| Radio
| TextField
| Textarea
| Select
| Button
| ImageButton
| HiddenField
| Bold
| Italic
| Underline
| Strike
| Subscript
| Superscript
| RemoveFormat
| NumberedList
| BulletedList
| Outdent
| Indent
| Blockquote
| CreateDiv
| JustifyLeft
| JustifyCenter
| JustifyRight
| JustifyBlock
| BidiLtr
| BidiRtl
| Link
| Unlink
| Anchor
| CreatePlaceholder
| Image
| Flash
| Table
| HorizontalRule
| Smiley
| SpecialChar
| PageBreak
| Iframe
| InsertPre
| Styles
| Format
| Font
| FontSize
| TextColor
| BGColor
| UIColor
| Maximize
| ShowBlocks
| Button1
| Button2
| Button3
| Oembed
| MediaEmbed
| About
datatype toolbar =
Newline
| Bar of { Nam : option string, Buttons : list button }
datatype toolbar_set =
DefaultToolbarSet
| Custom of list toolbar
type editor
val editor : {Width : size,
Height : size,
ToolbarSet : toolbar_set,
InitialText : string}
-> transaction editor
val show : editor -> xbody
val content : editor -> signal string
val setContent : editor -> string -> transaction unit