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