ScriptaV2.Msg

The ScriptaV2.Msg.MarkupMsg type is need for synchronization of the source and rendered text when using the Codemirror editor.

= SendMeta

{ begin : Int

, end : Int

, index : Int

, id : String

}

| SendLineNumber

{ begin : Int

, end : Int

}

| SelectId String

| ToggleTOCNodeID String

| HighlightId String

| GetPublicDocument Handling String

| GetPublicDocumentFromAuthor Handling String String

| GetDocumentWithSlug Handling String

| ProposeSolution SolutionState

| RequestCopyOfDocument

| RequestToggleIndexSize

| JumpToTop

| LoadFile String String

| NewPost String

| MMNoOp

= Unsolved

| Solved String

= MHStandard

| MHAsCheatSheet

Modules