How to use the @theia/editor/lib/browser.EditorDecorationStyle function in @theia/editor

To help you get started, we’ve selected a few @theia/editor examples, based on popular ways it is used in public projects.

Secure your code as it's written. Use Snyk Code to scan source code in minutes - no build needed - and fix issues immediately.

github spring-projects / sts4 / theia-extensions / theia-spring-boot / spring-boot / src / browser / highlight-service.ts View on Github external
* are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * https://www.eclipse.org/legal/epl-v10.html
 *
 * Contributors:
 *     Pivotal, Inc. - initial API and implementation
 *******************************************************************************/
import { injectable, inject } from 'inversify';
import { VersionedTextDocumentIdentifier, Range, CodeLens } from 'vscode-languageserver-types';
import { EditorDecorationStyle, TextEditor, DeltaDecorationParams, EditorManager } from '@theia/editor/lib/browser';
import { DiffUris } from '@theia/core/lib/browser/diff-uris';
import URI from '@theia/core/lib/common/uri';

// const BOOT_LIVE_HINTS = 'Boot-Live-Hints';

const INLINE_BOOT_HINT_DECORATION_STYLE = new EditorDecorationStyle('inline-boot-hint-decoration', style => {
    style.backgroundColor = 'rgba(109,179,63,0.25)',
    style.borderColor = 'rgba(109,179,63,0.25)',
    style.borderSpacing = '4px',
    style.borderRadius = '4px',
    style.borderWidth = '4px'
});

@injectable()
export class HighlightService {

    protected readonly appliedDecorations = new Map();

    constructor(
        @inject(EditorManager) protected readonly editorManager: EditorManager
    ) {}