adam@34: open Ckeditor
adam@34:
adam@34: fun make1 () =
adam@34: editor <- editor {Width = DefaultSize,
adam@34: Height = DefaultSize,
adam@34: ToolbarSet = DefaultToolbarSet};
adam@34: return
adam@34: {show editor}
adam@34:
adam@34:
adam@34:
adam@34: fun make2 () =
adam@34: editor <- editor {Width = Percent 50,
adam@34: Height = Pixels 500,
adam@34: ToolbarSet = Custom (
adam@34: Bar {Nam = Some "bloop", Buttons = Cut :: Separator :: Paste :: []}
adam@34: :: Newline
adam@34: :: Bar {Nam = None, Buttons = Bold :: []}
adam@34: :: [])};
adam@34: return
adam@34: {show editor}
adam@34:
adam@34:
adam@34:
adam@34: fun main () =
adam@34: spot1 <- source ;
adam@34: spot2 <- source ;
adam@34: return
adam@34:
adam@34:
adam@34:
adam@34: