1 |
|
2 |
|
3 | import { Dialog, setToolbar, ToolbarButton } from '@jupyterlab/apputils';
|
4 | import { PathExt } from '@jupyterlab/coreutils';
|
5 | import { nullTranslator } from '@jupyterlab/translation';
|
6 | import { newFolderIcon, refreshIcon } from '@jupyterlab/ui-components';
|
7 | import { toArray } from '@lumino/algorithm';
|
8 | import { PanelLayout, Widget } from '@lumino/widgets';
|
9 | import { FileBrowser } from './browser';
|
10 | import { FilterFileBrowserModel } from './model';
|
11 |
|
12 |
|
13 |
|
14 | const OPEN_DIALOG_CLASS = 'jp-Open-Dialog';
|
15 |
|
16 |
|
17 |
|
18 | export var FileDialog;
|
19 | (function (FileDialog) {
|
20 | |
21 |
|
22 |
|
23 |
|
24 |
|
25 |
|
26 |
|
27 |
|
28 |
|
29 |
|
30 | function getOpenFiles(options) {
|
31 | const translator = options.translator || nullTranslator;
|
32 | const trans = translator.load('jupyterlab');
|
33 | const dialogOptions = {
|
34 | title: options.title,
|
35 | buttons: [
|
36 | Dialog.cancelButton({ label: trans.__('Cancel') }),
|
37 | Dialog.okButton({
|
38 | label: trans.__('Select')
|
39 | })
|
40 | ],
|
41 | focusNodeSelector: options.focusNodeSelector,
|
42 | host: options.host,
|
43 | renderer: options.renderer,
|
44 | body: new OpenDialog(options.manager, options.filter, translator)
|
45 | };
|
46 | const dialog = new Dialog(dialogOptions);
|
47 | return dialog.launch();
|
48 | }
|
49 | FileDialog.getOpenFiles = getOpenFiles;
|
50 | |
51 |
|
52 |
|
53 |
|
54 |
|
55 |
|
56 |
|
57 |
|
58 |
|
59 |
|
60 | function getExistingDirectory(options) {
|
61 | return getOpenFiles(Object.assign(Object.assign({}, options), { filter: model => null }));
|
62 | }
|
63 | FileDialog.getExistingDirectory = getExistingDirectory;
|
64 | })(FileDialog || (FileDialog = {}));
|
65 |
|
66 |
|
67 |
|
68 | class OpenDialog extends Widget {
|
69 | constructor(manager, filter, translator) {
|
70 | super();
|
71 | translator = translator !== null && translator !== void 0 ? translator : nullTranslator;
|
72 | const trans = translator.load('jupyterlab');
|
73 | this.addClass(OPEN_DIALOG_CLASS);
|
74 | this._browser = Private.createFilteredFileBrowser('filtered-file-browser-dialog', manager, filter, {}, translator);
|
75 |
|
76 | setToolbar(this._browser, (browser) => [
|
77 | {
|
78 | name: 'new-folder',
|
79 | widget: new ToolbarButton({
|
80 | icon: newFolderIcon,
|
81 | onClick: () => {
|
82 | browser.createNewDirectory();
|
83 | },
|
84 | tooltip: trans.__('New Folder')
|
85 | })
|
86 | },
|
87 | {
|
88 | name: 'refresher',
|
89 | widget: new ToolbarButton({
|
90 | icon: refreshIcon,
|
91 | onClick: () => {
|
92 | browser.model.refresh().catch(reason => {
|
93 | console.error('Failed to refresh file browser in open dialog.', reason);
|
94 | });
|
95 | },
|
96 | tooltip: trans.__('Refresh File List')
|
97 | })
|
98 | }
|
99 | ]);
|
100 |
|
101 | const layout = new PanelLayout();
|
102 | layout.addWidget(this._browser);
|
103 |
|
104 | this.layout = layout;
|
105 | }
|
106 | |
107 |
|
108 |
|
109 | getValue() {
|
110 | const selection = toArray(this._browser.selectedItems());
|
111 | if (selection.length === 0) {
|
112 |
|
113 | return [
|
114 | {
|
115 | path: this._browser.model.path,
|
116 | name: PathExt.basename(this._browser.model.path),
|
117 | type: 'directory',
|
118 | content: undefined,
|
119 | writable: false,
|
120 | created: 'unknown',
|
121 | last_modified: 'unknown',
|
122 | mimetype: 'text/plain',
|
123 | format: 'text'
|
124 | }
|
125 | ];
|
126 | }
|
127 | else {
|
128 | return selection;
|
129 | }
|
130 | }
|
131 | }
|
132 | var Private;
|
133 | (function (Private) {
|
134 | |
135 |
|
136 |
|
137 |
|
138 |
|
139 |
|
140 |
|
141 |
|
142 |
|
143 |
|
144 |
|
145 |
|
146 |
|
147 |
|
148 |
|
149 |
|
150 |
|
151 |
|
152 |
|
153 |
|
154 |
|
155 |
|
156 | Private.createFilteredFileBrowser = (id, manager, filter, options = {}, translator) => {
|
157 | translator = translator || nullTranslator;
|
158 | const model = new FilterFileBrowserModel({
|
159 | manager,
|
160 | filter,
|
161 | translator,
|
162 | driveName: options.driveName,
|
163 | refreshInterval: options.refreshInterval
|
164 | });
|
165 | const widget = new FileBrowser({
|
166 | id,
|
167 | model,
|
168 | translator
|
169 | });
|
170 | return widget;
|
171 | };
|
172 | })(Private || (Private = {}));
|
173 |
|
\ | No newline at end of file |