API for monaco
The 'Monaco' Editor as a HTML Widget
| Global functions | |
|---|---|
| .onAttach | Source code |
| extensionFromLanguage | Source code |
| getMonacoLanguages | Man page Source code |
| getMonacoThemes | Man page Source code |
| getTabSize | Source code |
| languageFromExtension | Source code |
| monaco | Man page Source code |
| monaco-shiny | Man page |
| monacoOutput | Man page Source code |
| randomString | Source code |
| renderMonaco | Man page Source code |
| tinyCheckbox | Source code |
| widget_html.monaco | Source code |
