@theia/property-view 1.45.0 → 1.46.0-next.72
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +44 -44
- package/lib/browser/empty-property-view-widget-provider.d.ts +32 -32
- package/lib/browser/empty-property-view-widget-provider.js +83 -83
- package/lib/browser/property-data-service.d.ts +28 -28
- package/lib/browser/property-data-service.js +19 -19
- package/lib/browser/property-view-content-widget.d.ts +10 -10
- package/lib/browser/property-view-content-widget.js +17 -17
- package/lib/browser/property-view-contribution.d.ts +5 -5
- package/lib/browser/property-view-contribution.js +48 -48
- package/lib/browser/property-view-frontend-module.d.ts +4 -4
- package/lib/browser/property-view-frontend-module.js +42 -42
- package/lib/browser/property-view-service.d.ts +17 -17
- package/lib/browser/property-view-service.js +81 -81
- package/lib/browser/property-view-widget-provider.d.ts +57 -57
- package/lib/browser/property-view-widget-provider.js +84 -84
- package/lib/browser/property-view-widget.d.ts +26 -26
- package/lib/browser/property-view-widget.js +130 -130
- package/lib/browser/resource-property-view/index.d.ts +1 -1
- package/lib/browser/resource-property-view/index.js +28 -28
- package/lib/browser/resource-property-view/resource-property-data-service.d.ts +17 -17
- package/lib/browser/resource-property-view/resource-property-data-service.js +72 -72
- package/lib/browser/resource-property-view/resource-property-data-service.spec.d.ts +1 -1
- package/lib/browser/resource-property-view/resource-property-data-service.spec.js +101 -101
- package/lib/browser/resource-property-view/resource-property-view-label-provider.d.ts +10 -10
- package/lib/browser/resource-property-view/resource-property-view-label-provider.js +60 -60
- package/lib/browser/resource-property-view/resource-property-view-label-provider.spec.d.ts +1 -1
- package/lib/browser/resource-property-view/resource-property-view-label-provider.spec.js +129 -129
- package/lib/browser/resource-property-view/resource-property-view-tree-container.d.ts +2 -2
- package/lib/browser/resource-property-view/resource-property-view-tree-container.js +43 -43
- package/lib/browser/resource-property-view/resource-property-view-tree-items.d.ts +27 -27
- package/lib/browser/resource-property-view/resource-property-view-tree-items.js +41 -41
- package/lib/browser/resource-property-view/resource-property-view-tree-widget.d.ts +40 -40
- package/lib/browser/resource-property-view/resource-property-view-tree-widget.js +191 -191
- package/lib/browser/resource-property-view/resource-property-view-widget-provider.d.ts +16 -16
- package/lib/browser/resource-property-view/resource-property-view-widget-provider.js +66 -66
- package/lib/package.spec.js +25 -25
- package/package.json +5 -5
- package/src/browser/empty-property-view-widget-provider.tsx +83 -83
- package/src/browser/property-data-service.ts +48 -48
- package/src/browser/property-view-content-widget.ts +27 -27
- package/src/browser/property-view-contribution.ts +36 -36
- package/src/browser/property-view-frontend-module.ts +47 -47
- package/src/browser/property-view-service.ts +62 -62
- package/src/browser/property-view-widget-provider.ts +112 -112
- package/src/browser/property-view-widget.tsx +118 -118
- package/src/browser/resource-property-view/index.ts +17 -17
- package/src/browser/resource-property-view/resource-property-data-service.spec.ts +127 -127
- package/src/browser/resource-property-view/resource-property-data-service.ts +64 -64
- package/src/browser/resource-property-view/resource-property-view-label-provider.spec.ts +153 -153
- package/src/browser/resource-property-view/resource-property-view-label-provider.ts +49 -49
- package/src/browser/resource-property-view/resource-property-view-tree-container.ts +47 -47
- package/src/browser/resource-property-view/resource-property-view-tree-items.ts +53 -53
- package/src/browser/resource-property-view/resource-property-view-tree-widget.tsx +219 -219
- package/src/browser/resource-property-view/resource-property-view-widget-provider.ts +55 -55
- package/src/browser/style/property-view.css +51 -51
- package/src/package.spec.ts +29 -29
package/README.md
CHANGED
|
@@ -1,44 +1,44 @@
|
|
|
1
|
-
<div align='center'>
|
|
2
|
-
|
|
3
|
-
<br />
|
|
4
|
-
|
|
5
|
-
<img src='https://raw.githubusercontent.com/eclipse-theia/theia/master/logo/theia.svg?sanitize=true' alt='theia-ext-logo' width='100px' />
|
|
6
|
-
|
|
7
|
-
<h2>ECLIPSE THEIA - PROPERTY-VIEW EXTENSION</h2>
|
|
8
|
-
|
|
9
|
-
<hr />
|
|
10
|
-
|
|
11
|
-
</div>
|
|
12
|
-
|
|
13
|
-
## Description
|
|
14
|
-
|
|
15
|
-
The `@theia/property-view` extension contributes a generic, global property view based on Theia's global selection.
|
|
16
|
-
|
|
17
|
-
The property view widget can be opened/toggled either via menu _View->Properties_ or via shortcut <kbd>Shift+Alt+P</kbd>. It is located in the bottom dock area by default.
|
|
18
|
-
|
|
19
|
-
The following two default content widgets are implemented in this extension:
|
|
20
|
-
- EmptyPropertyViewWidget: If no other widget can be provided, a simple message (_No properties available_) is shown.
|
|
21
|
-
- ResourcePropertyViewWidget: Can handle `FileSelection`s and `Navigatable` selections (which provide their resource URI) and displays the general `FileStat` information (e.g. location, name, last modified) in a TreeWidget.
|
|
22
|
-
|
|
23
|
-
To contribute a specific property view, it is necessary to implement a `PropertyViewDataService` which gathers the property data for a selection as well as a `PropertyViewWidgetProvider` which provides a suitable content widget to display the property data for a specific selection inside the property view widget.
|
|
24
|
-
|
|
25
|
-
</br>
|
|
26
|
-
|
|
27
|
-
## Additional Information
|
|
28
|
-
|
|
29
|
-
- [API documentation for `@theia/property-view`](https://eclipse-theia.github.io/theia/docs/next/modules/property_view.html)
|
|
30
|
-
- [Theia - GitHub](https://github.com/eclipse-theia/theia)
|
|
31
|
-
- [Theia - Website](https://theia-ide.org/)
|
|
32
|
-
|
|
33
|
-
## License
|
|
34
|
-
|
|
35
|
-
- [Eclipse Public License 2.0](http://www.eclipse.org/legal/epl-2.0/)
|
|
36
|
-
- [一 (Secondary) GNU General Public License, version 2 with the GNU Classpath Exception](https://projects.eclipse.org/license/secondary-gpl-2.0-cp)
|
|
37
|
-
|
|
38
|
-
## Trademark
|
|
39
|
-
"Theia" is a trademark of the Eclipse Foundation
|
|
40
|
-
https://www.eclipse.org/theia
|
|
41
|
-
|
|
42
|
-
## License
|
|
43
|
-
- [Eclipse Public License 2.0](http://www.eclipse.org/legal/epl-2.0/)
|
|
44
|
-
- [一 (Secondary) GNU General Public License, version 2 with the GNU Classpath Exception](https://projects.eclipse.org/license/secondary-gpl-2.0-cp)
|
|
1
|
+
<div align='center'>
|
|
2
|
+
|
|
3
|
+
<br />
|
|
4
|
+
|
|
5
|
+
<img src='https://raw.githubusercontent.com/eclipse-theia/theia/master/logo/theia.svg?sanitize=true' alt='theia-ext-logo' width='100px' />
|
|
6
|
+
|
|
7
|
+
<h2>ECLIPSE THEIA - PROPERTY-VIEW EXTENSION</h2>
|
|
8
|
+
|
|
9
|
+
<hr />
|
|
10
|
+
|
|
11
|
+
</div>
|
|
12
|
+
|
|
13
|
+
## Description
|
|
14
|
+
|
|
15
|
+
The `@theia/property-view` extension contributes a generic, global property view based on Theia's global selection.
|
|
16
|
+
|
|
17
|
+
The property view widget can be opened/toggled either via menu _View->Properties_ or via shortcut <kbd>Shift+Alt+P</kbd>. It is located in the bottom dock area by default.
|
|
18
|
+
|
|
19
|
+
The following two default content widgets are implemented in this extension:
|
|
20
|
+
- EmptyPropertyViewWidget: If no other widget can be provided, a simple message (_No properties available_) is shown.
|
|
21
|
+
- ResourcePropertyViewWidget: Can handle `FileSelection`s and `Navigatable` selections (which provide their resource URI) and displays the general `FileStat` information (e.g. location, name, last modified) in a TreeWidget.
|
|
22
|
+
|
|
23
|
+
To contribute a specific property view, it is necessary to implement a `PropertyViewDataService` which gathers the property data for a selection as well as a `PropertyViewWidgetProvider` which provides a suitable content widget to display the property data for a specific selection inside the property view widget.
|
|
24
|
+
|
|
25
|
+
</br>
|
|
26
|
+
|
|
27
|
+
## Additional Information
|
|
28
|
+
|
|
29
|
+
- [API documentation for `@theia/property-view`](https://eclipse-theia.github.io/theia/docs/next/modules/property_view.html)
|
|
30
|
+
- [Theia - GitHub](https://github.com/eclipse-theia/theia)
|
|
31
|
+
- [Theia - Website](https://theia-ide.org/)
|
|
32
|
+
|
|
33
|
+
## License
|
|
34
|
+
|
|
35
|
+
- [Eclipse Public License 2.0](http://www.eclipse.org/legal/epl-2.0/)
|
|
36
|
+
- [一 (Secondary) GNU General Public License, version 2 with the GNU Classpath Exception](https://projects.eclipse.org/license/secondary-gpl-2.0-cp)
|
|
37
|
+
|
|
38
|
+
## Trademark
|
|
39
|
+
"Theia" is a trademark of the Eclipse Foundation
|
|
40
|
+
https://www.eclipse.org/theia
|
|
41
|
+
|
|
42
|
+
## License
|
|
43
|
+
- [Eclipse Public License 2.0](http://www.eclipse.org/legal/epl-2.0/)
|
|
44
|
+
- [一 (Secondary) GNU General Public License, version 2 with the GNU Classpath Exception](https://projects.eclipse.org/license/secondary-gpl-2.0-cp)
|
|
@@ -1,33 +1,33 @@
|
|
|
1
|
-
/// <reference types="react" />
|
|
2
|
-
import { ReactWidget } from '@theia/core/lib/browser';
|
|
3
|
-
import * as React from '@theia/core/shared/react';
|
|
4
|
-
import { PropertyViewContentWidget } from './property-view-content-widget';
|
|
5
|
-
import { DefaultPropertyViewWidgetProvider } from './property-view-widget-provider';
|
|
6
|
-
/**
|
|
7
|
-
* Property view widget that is shown if no property data or selection is available.
|
|
8
|
-
* This widget is provided by the {@link EmptyPropertyViewWidgetProvider}.
|
|
9
|
-
*/
|
|
10
|
-
declare class EmptyPropertyViewWidget extends ReactWidget implements PropertyViewContentWidget {
|
|
11
|
-
static readonly ID = "theia-empty-property-view";
|
|
12
|
-
static readonly LABEL = "No Properties";
|
|
13
|
-
constructor();
|
|
14
|
-
updatePropertyViewContent(): void;
|
|
15
|
-
protected render(): React.ReactNode;
|
|
16
|
-
protected emptyComponent: JSX.Element;
|
|
17
|
-
}
|
|
18
|
-
/**
|
|
19
|
-
* `EmptyPropertyViewWidgetProvider` is implemented to provide the {@link EmptyPropertyViewWidget}
|
|
20
|
-
* if the given selection is undefined or no other provider can handle the given selection.
|
|
21
|
-
*/
|
|
22
|
-
export declare class EmptyPropertyViewWidgetProvider extends DefaultPropertyViewWidgetProvider {
|
|
23
|
-
static readonly ID = "no-properties";
|
|
24
|
-
readonly id = "no-properties";
|
|
25
|
-
readonly label = "DefaultPropertyViewWidgetProvider";
|
|
26
|
-
private emptyWidget;
|
|
27
|
-
constructor();
|
|
28
|
-
canHandle(selection: Object | undefined): number;
|
|
29
|
-
provideWidget(selection: Object | undefined): Promise<EmptyPropertyViewWidget>;
|
|
30
|
-
updateContentWidget(selection: Object | undefined): void;
|
|
31
|
-
}
|
|
32
|
-
export {};
|
|
1
|
+
/// <reference types="react" />
|
|
2
|
+
import { ReactWidget } from '@theia/core/lib/browser';
|
|
3
|
+
import * as React from '@theia/core/shared/react';
|
|
4
|
+
import { PropertyViewContentWidget } from './property-view-content-widget';
|
|
5
|
+
import { DefaultPropertyViewWidgetProvider } from './property-view-widget-provider';
|
|
6
|
+
/**
|
|
7
|
+
* Property view widget that is shown if no property data or selection is available.
|
|
8
|
+
* This widget is provided by the {@link EmptyPropertyViewWidgetProvider}.
|
|
9
|
+
*/
|
|
10
|
+
declare class EmptyPropertyViewWidget extends ReactWidget implements PropertyViewContentWidget {
|
|
11
|
+
static readonly ID = "theia-empty-property-view";
|
|
12
|
+
static readonly LABEL = "No Properties";
|
|
13
|
+
constructor();
|
|
14
|
+
updatePropertyViewContent(): void;
|
|
15
|
+
protected render(): React.ReactNode;
|
|
16
|
+
protected emptyComponent: JSX.Element;
|
|
17
|
+
}
|
|
18
|
+
/**
|
|
19
|
+
* `EmptyPropertyViewWidgetProvider` is implemented to provide the {@link EmptyPropertyViewWidget}
|
|
20
|
+
* if the given selection is undefined or no other provider can handle the given selection.
|
|
21
|
+
*/
|
|
22
|
+
export declare class EmptyPropertyViewWidgetProvider extends DefaultPropertyViewWidgetProvider {
|
|
23
|
+
static readonly ID = "no-properties";
|
|
24
|
+
readonly id = "no-properties";
|
|
25
|
+
readonly label = "DefaultPropertyViewWidgetProvider";
|
|
26
|
+
private emptyWidget;
|
|
27
|
+
constructor();
|
|
28
|
+
canHandle(selection: Object | undefined): number;
|
|
29
|
+
provideWidget(selection: Object | undefined): Promise<EmptyPropertyViewWidget>;
|
|
30
|
+
updateContentWidget(selection: Object | undefined): void;
|
|
31
|
+
}
|
|
32
|
+
export {};
|
|
33
33
|
//# sourceMappingURL=empty-property-view-widget-provider.d.ts.map
|
|
@@ -1,84 +1,84 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
// *****************************************************************************
|
|
3
|
-
// Copyright (C) 2020 EclipseSource and others.
|
|
4
|
-
//
|
|
5
|
-
// This program and the accompanying materials are made available under the
|
|
6
|
-
// terms of the Eclipse Public License v. 2.0 which is available at
|
|
7
|
-
// http://www.eclipse.org/legal/epl-2.0.
|
|
8
|
-
//
|
|
9
|
-
// This Source Code may also be made available under the following Secondary
|
|
10
|
-
// Licenses when the conditions for such availability set forth in the Eclipse
|
|
11
|
-
// Public License v. 2.0 are satisfied: GNU General Public License, version 2
|
|
12
|
-
// with the GNU Classpath Exception which is available at
|
|
13
|
-
// https://www.gnu.org/software/classpath/license.html.
|
|
14
|
-
//
|
|
15
|
-
// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
|
|
16
|
-
// *****************************************************************************
|
|
17
|
-
var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
|
|
18
|
-
var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
|
|
19
|
-
if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
|
|
20
|
-
else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
|
|
21
|
-
return c > 3 && r && Object.defineProperty(target, key, r), r;
|
|
22
|
-
};
|
|
23
|
-
var __metadata = (this && this.__metadata) || function (k, v) {
|
|
24
|
-
if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
|
|
25
|
-
};
|
|
26
|
-
var EmptyPropertyViewWidgetProvider_1;
|
|
27
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
28
|
-
exports.EmptyPropertyViewWidgetProvider = void 0;
|
|
29
|
-
const nls_1 = require("@theia/core/lib/common/nls");
|
|
30
|
-
const browser_1 = require("@theia/core/lib/browser");
|
|
31
|
-
const inversify_1 = require("@theia/core/shared/inversify");
|
|
32
|
-
const React = require("@theia/core/shared/react");
|
|
33
|
-
const property_view_widget_provider_1 = require("./property-view-widget-provider");
|
|
34
|
-
/**
|
|
35
|
-
* Property view widget that is shown if no property data or selection is available.
|
|
36
|
-
* This widget is provided by the {@link EmptyPropertyViewWidgetProvider}.
|
|
37
|
-
*/
|
|
38
|
-
class EmptyPropertyViewWidget extends browser_1.ReactWidget {
|
|
39
|
-
constructor() {
|
|
40
|
-
super();
|
|
41
|
-
this.emptyComponent = React.createElement("div", { className: 'theia-widget-noInfo' }, nls_1.nls.localize('theia/property-view/noProperties', 'No properties available.'));
|
|
42
|
-
this.id = EmptyPropertyViewWidget.ID;
|
|
43
|
-
this.title.label = EmptyPropertyViewWidget.LABEL;
|
|
44
|
-
this.title.caption = EmptyPropertyViewWidget.LABEL;
|
|
45
|
-
this.title.closable = false;
|
|
46
|
-
this.node.tabIndex = 0;
|
|
47
|
-
}
|
|
48
|
-
updatePropertyViewContent() {
|
|
49
|
-
this.update();
|
|
50
|
-
}
|
|
51
|
-
render() {
|
|
52
|
-
return this.emptyComponent;
|
|
53
|
-
}
|
|
54
|
-
}
|
|
55
|
-
EmptyPropertyViewWidget.ID = 'theia-empty-property-view';
|
|
56
|
-
EmptyPropertyViewWidget.LABEL = 'No Properties';
|
|
57
|
-
/**
|
|
58
|
-
* `EmptyPropertyViewWidgetProvider` is implemented to provide the {@link EmptyPropertyViewWidget}
|
|
59
|
-
* if the given selection is undefined or no other provider can handle the given selection.
|
|
60
|
-
*/
|
|
61
|
-
let EmptyPropertyViewWidgetProvider = EmptyPropertyViewWidgetProvider_1 = class EmptyPropertyViewWidgetProvider extends property_view_widget_provider_1.DefaultPropertyViewWidgetProvider {
|
|
62
|
-
constructor() {
|
|
63
|
-
super();
|
|
64
|
-
this.id = EmptyPropertyViewWidgetProvider_1.ID;
|
|
65
|
-
this.label = 'DefaultPropertyViewWidgetProvider';
|
|
66
|
-
this.emptyWidget = new EmptyPropertyViewWidget();
|
|
67
|
-
}
|
|
68
|
-
canHandle(selection) {
|
|
69
|
-
return selection === undefined ? 1 : 0;
|
|
70
|
-
}
|
|
71
|
-
provideWidget(selection) {
|
|
72
|
-
return Promise.resolve(this.emptyWidget);
|
|
73
|
-
}
|
|
74
|
-
updateContentWidget(selection) {
|
|
75
|
-
this.emptyWidget.updatePropertyViewContent();
|
|
76
|
-
}
|
|
77
|
-
};
|
|
78
|
-
EmptyPropertyViewWidgetProvider.ID = 'no-properties';
|
|
79
|
-
EmptyPropertyViewWidgetProvider = EmptyPropertyViewWidgetProvider_1 = __decorate([
|
|
80
|
-
(0, inversify_1.injectable)(),
|
|
81
|
-
__metadata("design:paramtypes", [])
|
|
82
|
-
], EmptyPropertyViewWidgetProvider);
|
|
83
|
-
exports.EmptyPropertyViewWidgetProvider = EmptyPropertyViewWidgetProvider;
|
|
1
|
+
"use strict";
|
|
2
|
+
// *****************************************************************************
|
|
3
|
+
// Copyright (C) 2020 EclipseSource and others.
|
|
4
|
+
//
|
|
5
|
+
// This program and the accompanying materials are made available under the
|
|
6
|
+
// terms of the Eclipse Public License v. 2.0 which is available at
|
|
7
|
+
// http://www.eclipse.org/legal/epl-2.0.
|
|
8
|
+
//
|
|
9
|
+
// This Source Code may also be made available under the following Secondary
|
|
10
|
+
// Licenses when the conditions for such availability set forth in the Eclipse
|
|
11
|
+
// Public License v. 2.0 are satisfied: GNU General Public License, version 2
|
|
12
|
+
// with the GNU Classpath Exception which is available at
|
|
13
|
+
// https://www.gnu.org/software/classpath/license.html.
|
|
14
|
+
//
|
|
15
|
+
// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
|
|
16
|
+
// *****************************************************************************
|
|
17
|
+
var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
|
|
18
|
+
var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
|
|
19
|
+
if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
|
|
20
|
+
else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
|
|
21
|
+
return c > 3 && r && Object.defineProperty(target, key, r), r;
|
|
22
|
+
};
|
|
23
|
+
var __metadata = (this && this.__metadata) || function (k, v) {
|
|
24
|
+
if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
|
|
25
|
+
};
|
|
26
|
+
var EmptyPropertyViewWidgetProvider_1;
|
|
27
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
28
|
+
exports.EmptyPropertyViewWidgetProvider = void 0;
|
|
29
|
+
const nls_1 = require("@theia/core/lib/common/nls");
|
|
30
|
+
const browser_1 = require("@theia/core/lib/browser");
|
|
31
|
+
const inversify_1 = require("@theia/core/shared/inversify");
|
|
32
|
+
const React = require("@theia/core/shared/react");
|
|
33
|
+
const property_view_widget_provider_1 = require("./property-view-widget-provider");
|
|
34
|
+
/**
|
|
35
|
+
* Property view widget that is shown if no property data or selection is available.
|
|
36
|
+
* This widget is provided by the {@link EmptyPropertyViewWidgetProvider}.
|
|
37
|
+
*/
|
|
38
|
+
class EmptyPropertyViewWidget extends browser_1.ReactWidget {
|
|
39
|
+
constructor() {
|
|
40
|
+
super();
|
|
41
|
+
this.emptyComponent = React.createElement("div", { className: 'theia-widget-noInfo' }, nls_1.nls.localize('theia/property-view/noProperties', 'No properties available.'));
|
|
42
|
+
this.id = EmptyPropertyViewWidget.ID;
|
|
43
|
+
this.title.label = EmptyPropertyViewWidget.LABEL;
|
|
44
|
+
this.title.caption = EmptyPropertyViewWidget.LABEL;
|
|
45
|
+
this.title.closable = false;
|
|
46
|
+
this.node.tabIndex = 0;
|
|
47
|
+
}
|
|
48
|
+
updatePropertyViewContent() {
|
|
49
|
+
this.update();
|
|
50
|
+
}
|
|
51
|
+
render() {
|
|
52
|
+
return this.emptyComponent;
|
|
53
|
+
}
|
|
54
|
+
}
|
|
55
|
+
EmptyPropertyViewWidget.ID = 'theia-empty-property-view';
|
|
56
|
+
EmptyPropertyViewWidget.LABEL = 'No Properties';
|
|
57
|
+
/**
|
|
58
|
+
* `EmptyPropertyViewWidgetProvider` is implemented to provide the {@link EmptyPropertyViewWidget}
|
|
59
|
+
* if the given selection is undefined or no other provider can handle the given selection.
|
|
60
|
+
*/
|
|
61
|
+
let EmptyPropertyViewWidgetProvider = EmptyPropertyViewWidgetProvider_1 = class EmptyPropertyViewWidgetProvider extends property_view_widget_provider_1.DefaultPropertyViewWidgetProvider {
|
|
62
|
+
constructor() {
|
|
63
|
+
super();
|
|
64
|
+
this.id = EmptyPropertyViewWidgetProvider_1.ID;
|
|
65
|
+
this.label = 'DefaultPropertyViewWidgetProvider';
|
|
66
|
+
this.emptyWidget = new EmptyPropertyViewWidget();
|
|
67
|
+
}
|
|
68
|
+
canHandle(selection) {
|
|
69
|
+
return selection === undefined ? 1 : 0;
|
|
70
|
+
}
|
|
71
|
+
provideWidget(selection) {
|
|
72
|
+
return Promise.resolve(this.emptyWidget);
|
|
73
|
+
}
|
|
74
|
+
updateContentWidget(selection) {
|
|
75
|
+
this.emptyWidget.updatePropertyViewContent();
|
|
76
|
+
}
|
|
77
|
+
};
|
|
78
|
+
EmptyPropertyViewWidgetProvider.ID = 'no-properties';
|
|
79
|
+
EmptyPropertyViewWidgetProvider = EmptyPropertyViewWidgetProvider_1 = __decorate([
|
|
80
|
+
(0, inversify_1.injectable)(),
|
|
81
|
+
__metadata("design:paramtypes", [])
|
|
82
|
+
], EmptyPropertyViewWidgetProvider);
|
|
83
|
+
exports.EmptyPropertyViewWidgetProvider = EmptyPropertyViewWidgetProvider;
|
|
84
84
|
//# sourceMappingURL=empty-property-view-widget-provider.js.map
|
|
@@ -1,29 +1,29 @@
|
|
|
1
|
-
export declare const PropertyDataService: unique symbol;
|
|
2
|
-
/**
|
|
3
|
-
* `PropertyDataService` should be implemented to provide property data for the given selection.
|
|
4
|
-
*/
|
|
5
|
-
export interface PropertyDataService {
|
|
6
|
-
/**
|
|
7
|
-
* A unique id for this provider.
|
|
8
|
-
*/
|
|
9
|
-
readonly id: string;
|
|
10
|
-
/**
|
|
11
|
-
* A human-readable name for this provider.
|
|
12
|
-
*/
|
|
13
|
-
readonly label?: string;
|
|
14
|
-
/**
|
|
15
|
-
* Test whether this provider can provide property data for the given selection.
|
|
16
|
-
* Return a nonzero number if this provider can provide; otherwise it cannot.
|
|
17
|
-
* Never reject.
|
|
18
|
-
*
|
|
19
|
-
* A returned value indicating a priority of this provider.
|
|
20
|
-
*/
|
|
21
|
-
canHandleSelection(selection: Object | undefined): number;
|
|
22
|
-
/**
|
|
23
|
-
* Provide property data for the given selection.
|
|
24
|
-
* Resolve to a property view content widget.
|
|
25
|
-
* Never reject if `canHandle` returns a positive number; otherwise should reject.
|
|
26
|
-
*/
|
|
27
|
-
providePropertyData(selection: Object | undefined): Promise<Object | undefined>;
|
|
28
|
-
}
|
|
1
|
+
export declare const PropertyDataService: unique symbol;
|
|
2
|
+
/**
|
|
3
|
+
* `PropertyDataService` should be implemented to provide property data for the given selection.
|
|
4
|
+
*/
|
|
5
|
+
export interface PropertyDataService {
|
|
6
|
+
/**
|
|
7
|
+
* A unique id for this provider.
|
|
8
|
+
*/
|
|
9
|
+
readonly id: string;
|
|
10
|
+
/**
|
|
11
|
+
* A human-readable name for this provider.
|
|
12
|
+
*/
|
|
13
|
+
readonly label?: string;
|
|
14
|
+
/**
|
|
15
|
+
* Test whether this provider can provide property data for the given selection.
|
|
16
|
+
* Return a nonzero number if this provider can provide; otherwise it cannot.
|
|
17
|
+
* Never reject.
|
|
18
|
+
*
|
|
19
|
+
* A returned value indicating a priority of this provider.
|
|
20
|
+
*/
|
|
21
|
+
canHandleSelection(selection: Object | undefined): number;
|
|
22
|
+
/**
|
|
23
|
+
* Provide property data for the given selection.
|
|
24
|
+
* Resolve to a property view content widget.
|
|
25
|
+
* Never reject if `canHandle` returns a positive number; otherwise should reject.
|
|
26
|
+
*/
|
|
27
|
+
providePropertyData(selection: Object | undefined): Promise<Object | undefined>;
|
|
28
|
+
}
|
|
29
29
|
//# sourceMappingURL=property-data-service.d.ts.map
|
|
@@ -1,20 +1,20 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
// *****************************************************************************
|
|
3
|
-
// Copyright (C) 2020 EclipseSource and others.
|
|
4
|
-
//
|
|
5
|
-
// This program and the accompanying materials are made available under the
|
|
6
|
-
// terms of the Eclipse Public License v. 2.0 which is available at
|
|
7
|
-
// http://www.eclipse.org/legal/epl-2.0.
|
|
8
|
-
//
|
|
9
|
-
// This Source Code may also be made available under the following Secondary
|
|
10
|
-
// Licenses when the conditions for such availability set forth in the Eclipse
|
|
11
|
-
// Public License v. 2.0 are satisfied: GNU General Public License, version 2
|
|
12
|
-
// with the GNU Classpath Exception which is available at
|
|
13
|
-
// https://www.gnu.org/software/classpath/license.html.
|
|
14
|
-
//
|
|
15
|
-
// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
|
|
16
|
-
// *****************************************************************************
|
|
17
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
18
|
-
exports.PropertyDataService = void 0;
|
|
19
|
-
exports.PropertyDataService = Symbol('PropertyDataService');
|
|
1
|
+
"use strict";
|
|
2
|
+
// *****************************************************************************
|
|
3
|
+
// Copyright (C) 2020 EclipseSource and others.
|
|
4
|
+
//
|
|
5
|
+
// This program and the accompanying materials are made available under the
|
|
6
|
+
// terms of the Eclipse Public License v. 2.0 which is available at
|
|
7
|
+
// http://www.eclipse.org/legal/epl-2.0.
|
|
8
|
+
//
|
|
9
|
+
// This Source Code may also be made available under the following Secondary
|
|
10
|
+
// Licenses when the conditions for such availability set forth in the Eclipse
|
|
11
|
+
// Public License v. 2.0 are satisfied: GNU General Public License, version 2
|
|
12
|
+
// with the GNU Classpath Exception which is available at
|
|
13
|
+
// https://www.gnu.org/software/classpath/license.html.
|
|
14
|
+
//
|
|
15
|
+
// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
|
|
16
|
+
// *****************************************************************************
|
|
17
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
18
|
+
exports.PropertyDataService = void 0;
|
|
19
|
+
exports.PropertyDataService = Symbol('PropertyDataService');
|
|
20
20
|
//# sourceMappingURL=property-data-service.js.map
|
|
@@ -1,11 +1,11 @@
|
|
|
1
|
-
import { Widget } from '@theia/core/lib/browser/widgets/widget';
|
|
2
|
-
import { PropertyDataService } from './property-data-service';
|
|
3
|
-
/**
|
|
4
|
-
* A widget that fetches the property data via the given {@link PropertyDataService} and the given selection
|
|
5
|
-
* and renders that property data.
|
|
6
|
-
* This widget can be provided by a registered `PropertyViewWidgetProvider`.
|
|
7
|
-
*/
|
|
8
|
-
export interface PropertyViewContentWidget extends Widget {
|
|
9
|
-
updatePropertyViewContent(propertyDataService?: PropertyDataService, selection?: Object): void;
|
|
10
|
-
}
|
|
1
|
+
import { Widget } from '@theia/core/lib/browser/widgets/widget';
|
|
2
|
+
import { PropertyDataService } from './property-data-service';
|
|
3
|
+
/**
|
|
4
|
+
* A widget that fetches the property data via the given {@link PropertyDataService} and the given selection
|
|
5
|
+
* and renders that property data.
|
|
6
|
+
* This widget can be provided by a registered `PropertyViewWidgetProvider`.
|
|
7
|
+
*/
|
|
8
|
+
export interface PropertyViewContentWidget extends Widget {
|
|
9
|
+
updatePropertyViewContent(propertyDataService?: PropertyDataService, selection?: Object): void;
|
|
10
|
+
}
|
|
11
11
|
//# sourceMappingURL=property-view-content-widget.d.ts.map
|
|
@@ -1,18 +1,18 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
// *****************************************************************************
|
|
3
|
-
// Copyright (C) 2020 EclipseSource and others.
|
|
4
|
-
//
|
|
5
|
-
// This program and the accompanying materials are made available under the
|
|
6
|
-
// terms of the Eclipse Public License v. 2.0 which is available at
|
|
7
|
-
// http://www.eclipse.org/legal/epl-2.0.
|
|
8
|
-
//
|
|
9
|
-
// This Source Code may also be made available under the following Secondary
|
|
10
|
-
// Licenses when the conditions for such availability set forth in the Eclipse
|
|
11
|
-
// Public License v. 2.0 are satisfied: GNU General Public License, version 2
|
|
12
|
-
// with the GNU Classpath Exception which is available at
|
|
13
|
-
// https://www.gnu.org/software/classpath/license.html.
|
|
14
|
-
//
|
|
15
|
-
// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
|
|
16
|
-
// *****************************************************************************
|
|
17
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
1
|
+
"use strict";
|
|
2
|
+
// *****************************************************************************
|
|
3
|
+
// Copyright (C) 2020 EclipseSource and others.
|
|
4
|
+
//
|
|
5
|
+
// This program and the accompanying materials are made available under the
|
|
6
|
+
// terms of the Eclipse Public License v. 2.0 which is available at
|
|
7
|
+
// http://www.eclipse.org/legal/epl-2.0.
|
|
8
|
+
//
|
|
9
|
+
// This Source Code may also be made available under the following Secondary
|
|
10
|
+
// Licenses when the conditions for such availability set forth in the Eclipse
|
|
11
|
+
// Public License v. 2.0 are satisfied: GNU General Public License, version 2
|
|
12
|
+
// with the GNU Classpath Exception which is available at
|
|
13
|
+
// https://www.gnu.org/software/classpath/license.html.
|
|
14
|
+
//
|
|
15
|
+
// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
|
|
16
|
+
// *****************************************************************************
|
|
17
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
18
18
|
//# sourceMappingURL=property-view-content-widget.js.map
|
|
@@ -1,6 +1,6 @@
|
|
|
1
|
-
import { AbstractViewContribution } from '@theia/core/lib/browser/shell/view-contribution';
|
|
2
|
-
import { PropertyViewWidget } from './property-view-widget';
|
|
3
|
-
export declare class PropertyViewContribution extends AbstractViewContribution<PropertyViewWidget> {
|
|
4
|
-
constructor();
|
|
5
|
-
}
|
|
1
|
+
import { AbstractViewContribution } from '@theia/core/lib/browser/shell/view-contribution';
|
|
2
|
+
import { PropertyViewWidget } from './property-view-widget';
|
|
3
|
+
export declare class PropertyViewContribution extends AbstractViewContribution<PropertyViewWidget> {
|
|
4
|
+
constructor();
|
|
5
|
+
}
|
|
6
6
|
//# sourceMappingURL=property-view-contribution.d.ts.map
|
|
@@ -1,49 +1,49 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
// *****************************************************************************
|
|
3
|
-
// Copyright (C) 2020 EclipseSource and others.
|
|
4
|
-
//
|
|
5
|
-
// This program and the accompanying materials are made available under the
|
|
6
|
-
// terms of the Eclipse Public License v. 2.0 which is available at
|
|
7
|
-
// http://www.eclipse.org/legal/epl-2.0.
|
|
8
|
-
//
|
|
9
|
-
// This Source Code may also be made available under the following Secondary
|
|
10
|
-
// Licenses when the conditions for such availability set forth in the Eclipse
|
|
11
|
-
// Public License v. 2.0 are satisfied: GNU General Public License, version 2
|
|
12
|
-
// with the GNU Classpath Exception which is available at
|
|
13
|
-
// https://www.gnu.org/software/classpath/license.html.
|
|
14
|
-
//
|
|
15
|
-
// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
|
|
16
|
-
// *****************************************************************************
|
|
17
|
-
var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
|
|
18
|
-
var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
|
|
19
|
-
if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
|
|
20
|
-
else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
|
|
21
|
-
return c > 3 && r && Object.defineProperty(target, key, r), r;
|
|
22
|
-
};
|
|
23
|
-
var __metadata = (this && this.__metadata) || function (k, v) {
|
|
24
|
-
if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
|
|
25
|
-
};
|
|
26
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
27
|
-
exports.PropertyViewContribution = void 0;
|
|
28
|
-
const view_contribution_1 = require("@theia/core/lib/browser/shell/view-contribution");
|
|
29
|
-
const inversify_1 = require("@theia/core/shared/inversify");
|
|
30
|
-
const property_view_widget_1 = require("./property-view-widget");
|
|
31
|
-
let PropertyViewContribution = class PropertyViewContribution extends view_contribution_1.AbstractViewContribution {
|
|
32
|
-
constructor() {
|
|
33
|
-
super({
|
|
34
|
-
widgetId: property_view_widget_1.PropertyViewWidget.ID,
|
|
35
|
-
widgetName: property_view_widget_1.PropertyViewWidget.LABEL,
|
|
36
|
-
defaultWidgetOptions: {
|
|
37
|
-
area: 'bottom'
|
|
38
|
-
},
|
|
39
|
-
toggleCommandId: 'property-view:toggle',
|
|
40
|
-
toggleKeybinding: 'shift+alt+p'
|
|
41
|
-
});
|
|
42
|
-
}
|
|
43
|
-
};
|
|
44
|
-
PropertyViewContribution = __decorate([
|
|
45
|
-
(0, inversify_1.injectable)(),
|
|
46
|
-
__metadata("design:paramtypes", [])
|
|
47
|
-
], PropertyViewContribution);
|
|
48
|
-
exports.PropertyViewContribution = PropertyViewContribution;
|
|
1
|
+
"use strict";
|
|
2
|
+
// *****************************************************************************
|
|
3
|
+
// Copyright (C) 2020 EclipseSource and others.
|
|
4
|
+
//
|
|
5
|
+
// This program and the accompanying materials are made available under the
|
|
6
|
+
// terms of the Eclipse Public License v. 2.0 which is available at
|
|
7
|
+
// http://www.eclipse.org/legal/epl-2.0.
|
|
8
|
+
//
|
|
9
|
+
// This Source Code may also be made available under the following Secondary
|
|
10
|
+
// Licenses when the conditions for such availability set forth in the Eclipse
|
|
11
|
+
// Public License v. 2.0 are satisfied: GNU General Public License, version 2
|
|
12
|
+
// with the GNU Classpath Exception which is available at
|
|
13
|
+
// https://www.gnu.org/software/classpath/license.html.
|
|
14
|
+
//
|
|
15
|
+
// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
|
|
16
|
+
// *****************************************************************************
|
|
17
|
+
var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
|
|
18
|
+
var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
|
|
19
|
+
if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
|
|
20
|
+
else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
|
|
21
|
+
return c > 3 && r && Object.defineProperty(target, key, r), r;
|
|
22
|
+
};
|
|
23
|
+
var __metadata = (this && this.__metadata) || function (k, v) {
|
|
24
|
+
if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
|
|
25
|
+
};
|
|
26
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
27
|
+
exports.PropertyViewContribution = void 0;
|
|
28
|
+
const view_contribution_1 = require("@theia/core/lib/browser/shell/view-contribution");
|
|
29
|
+
const inversify_1 = require("@theia/core/shared/inversify");
|
|
30
|
+
const property_view_widget_1 = require("./property-view-widget");
|
|
31
|
+
let PropertyViewContribution = class PropertyViewContribution extends view_contribution_1.AbstractViewContribution {
|
|
32
|
+
constructor() {
|
|
33
|
+
super({
|
|
34
|
+
widgetId: property_view_widget_1.PropertyViewWidget.ID,
|
|
35
|
+
widgetName: property_view_widget_1.PropertyViewWidget.LABEL,
|
|
36
|
+
defaultWidgetOptions: {
|
|
37
|
+
area: 'bottom'
|
|
38
|
+
},
|
|
39
|
+
toggleCommandId: 'property-view:toggle',
|
|
40
|
+
toggleKeybinding: 'shift+alt+p'
|
|
41
|
+
});
|
|
42
|
+
}
|
|
43
|
+
};
|
|
44
|
+
PropertyViewContribution = __decorate([
|
|
45
|
+
(0, inversify_1.injectable)(),
|
|
46
|
+
__metadata("design:paramtypes", [])
|
|
47
|
+
], PropertyViewContribution);
|
|
48
|
+
exports.PropertyViewContribution = PropertyViewContribution;
|
|
49
49
|
//# sourceMappingURL=property-view-contribution.js.map
|
|
@@ -1,5 +1,5 @@
|
|
|
1
|
-
import { ContainerModule } from '@theia/core/shared/inversify';
|
|
2
|
-
import '../../src/browser/style/property-view.css';
|
|
3
|
-
declare const _default: ContainerModule;
|
|
4
|
-
export default _default;
|
|
1
|
+
import { ContainerModule } from '@theia/core/shared/inversify';
|
|
2
|
+
import '../../src/browser/style/property-view.css';
|
|
3
|
+
declare const _default: ContainerModule;
|
|
4
|
+
export default _default;
|
|
5
5
|
//# sourceMappingURL=property-view-frontend-module.d.ts.map
|