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