|
|
|
@ -13,7 +13,7 @@ const profile = { |
|
|
|
|
name: 'editor', |
|
|
|
|
description: 'service - editor', |
|
|
|
|
version: packageJson.version, |
|
|
|
|
methods: ['highlight', 'discardHighlight', 'clearAnnotations', 'addLineText', 'discardLineTexts', 'addAnnotation', 'gotoLine', 'revealRange', 'getCursorPosition', 'open'] |
|
|
|
|
methods: ['highlight', 'discardHighlight', 'clearAnnotations', 'addLineText', 'discardLineTexts', 'addAnnotation', 'gotoLine', 'revealRange', 'getCursorPosition'] |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
class Editor extends Plugin { |
|
|
|
|