Mercurial > gui

comparison ckeditorFfi.urs @ 34:2d195bee1efa

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
CKeditor wrapper
author Adam Chlipala <adam@chlipala.net>
date Thu, 21 Nov 2013 18:19:02 -0500
parents
children
comparison
equal deleted inserted replaced
33:2e7f8f7d71d4 34:2d195bee1efa
1 datatype size =
2 DefaultSize
3 | Pixels of int
4 | Percent of int
5
6 datatype button =
7 Separator
8
9 | Source
10 | Save
11 | NewPage
12 | DocProps
13 | Preview
14 | Print
15 | Templates
16 | Document
17
18 | Cut
19 | Copy
20 | Paste
21 | PasteText
22 | PasteFromWord
23 | Undo
24 | Redo
25
26 | Find
27 | Replace
28 | SelectAll
29 | Scayt
30
31 | Form
32 | Checkbox
33 | Radio
34 | TextField
35 | Textarea
36 | Select
37 | Button
38 | ImageButton
39 | HiddenField
40
41 | Bold
42 | Italic
43 | Underline
44 | Strike
45 | Subscript
46 | Superscript
47 | RemoveFormat
48
49 | NumberedList
50 | BulletedList
51 | Outdent
52 | Indent
53 | Blockquote
54 | CreateDiv
55 | JustifyLeft
56 | JustifyCenter
57 | JustifyRight
58 | JustifyBlock
59 | BidiLtr
60 | BidiRtl
61
62 | Link
63 | Unlink
64 | Anchor
65
66 | CreatePlaceholder
67 | Image
68 | Flash
69 | Table
70 | HorizontalRule
71 | Smiley
72 | SpecialChar
73 | PageBreak
74 | Iframe
75 | InsertPre
76
77 | Styles
78 | Format
79 | Font
80 | FontSize
81
82 | TextColor
83 | BGColor
84
85 | UIColor
86 | Maximize
87 | ShowBlocks
88
89 | Button1
90 | Button2
91 | Button3
92 | Oembed
93 | MediaEmbed
94
95 | About
96
97 datatype toolbar =
98 Newline
99 | Bar of { Nam : option string, Buttons : list button }
100
101 datatype toolbar_set =
102 DefaultToolbarSet
103 | Custom of list toolbar
104
105 type editor
106
107 val editor : {Width : size,
108 Height : size,
109 ToolbarSet : toolbar_set}
110 -> transaction editor
111 val replace : editor -> id -> transaction unit
112 val content : editor -> transaction string