@@ -10,7 +10,7 @@ import {
1010 WidgetTracker
1111} from '@jupyterlab/apputils' ;
1212import { PathExt , URLExt } from '@jupyterlab/coreutils' ;
13- import { FileBrowser } from '@jupyterlab/filebrowser' ;
13+ import { FileBrowser , FileBrowserModel } from '@jupyterlab/filebrowser' ;
1414import { Contents } from '@jupyterlab/services' ;
1515import { ISettingRegistry } from '@jupyterlab/settingregistry' ;
1616import { ITerminal } from '@jupyterlab/terminal' ;
@@ -101,7 +101,7 @@ function pluralizedContextLabel(singular: string, plural: string) {
101101export function addCommands (
102102 app : JupyterFrontEnd ,
103103 gitModel : GitExtension ,
104- fileBrowser : FileBrowser ,
104+ fileBrowserModel : FileBrowserModel ,
105105 settings : ISettingRegistry . ISettings ,
106106 trans : TranslationBundle
107107) : void {
@@ -178,7 +178,7 @@ export function addCommands(
178178 'Create an empty Git repository or reinitialize an existing one'
179179 ) ,
180180 execute : async ( ) => {
181- const currentPath = fileBrowser . model . path ;
181+ const currentPath = fileBrowserModel . path ;
182182 const result = await showDialog ( {
183183 title : trans . __ ( 'Initialize a Repository' ) ,
184184 body : trans . __ ( 'Do you really want to make this directory a Git Repo?' ) ,
@@ -311,14 +311,14 @@ export function addCommands(
311311 gitModel ,
312312 Operation . Clone ,
313313 trans ,
314- { path : fileBrowser . model . path , url : result . value }
314+ { path : fileBrowserModel . path , url : result . value }
315315 ) ;
316316 logger . log ( {
317317 message : trans . __ ( 'Successfully cloned' ) ,
318318 level : Level . SUCCESS ,
319319 details
320320 } ) ;
321- await fileBrowser . model . refresh ( ) ;
321+ await fileBrowserModel . refresh ( ) ;
322322 } catch ( error ) {
323323 console . error (
324324 'Encountered an error when cloning the repository. Error: ' ,
0 commit comments