Theia API Documentation v1.67.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/core
browser/badges/badge-service
Badge

Interface Badge

interface Badge {
tooltip: string;
value: number;
}

Defined in packages/core/src/browser/badges/badge-service.ts:21

Index

Properties

Properties

tooltip

tooltip: string

Defined in packages/core/src/browser/badges/badge-service.ts:23

value

value: number

Defined in packages/core/src/browser/badges/badge-service.ts:22

Settings

Member Visibility

Protected
Inherited
External

Theme

On This Page

Properties

Eclipse Theia Website GitHub

Theia API Documentation v1.67.0

Loading...