@@ -45,9 +45,9 @@ export async function nbgitpullerUpdateButton(
4545
4646 const newWidget = new Widget ( ) ;
4747 newWidget . id = widget_id ;
48- newWidget . addClass ( " lm-Widget" ) ;
49- newWidget . addClass ( " jp-ToolbarButton" ) ;
50- newWidget . addClass ( " nbgitpuller-jl-interface-wrapper" ) ;
48+ newWidget . addClass ( ' lm-Widget' ) ;
49+ newWidget . addClass ( ' jp-ToolbarButton' ) ;
50+ newWidget . addClass ( ' nbgitpuller-jl-interface-wrapper' ) ;
5151 newWidget . node . addEventListener ( 'click' , async ( ) => {
5252 // Throttle updating
5353 if ( currentlyUpdating ) {
@@ -218,22 +218,20 @@ export async function checkForUpdatesAndSetDisplay(
218218 // Generate tooltip
219219 let tooltip ;
220220 let widgetState ;
221- if ( updateCheckResponse [ 'numWithErrors' ] > 0 ) {
221+ if ( updateCheckResponse [ 'numWithErrors' ] > 0 ) {
222222 tooltip = `${ updateCheckResponse [ 'numWithErrors' ] } notebooks with errors` ;
223223 widgetState = WidgetState . Error ;
224-
225- } else if ( updateCheckResponse [ 'numToBeUpdated' ] > 0 ) {
224+ } else if ( updateCheckResponse [ 'numToBeUpdated' ] > 0 ) {
226225 tooltip = `${ updateCheckResponse [ 'numToBeUpdated' ] } notebooks awaiting updates\n` ;
227226 widgetState = WidgetState . UpdateRequired ;
228-
229- } else {
227+ } else {
230228 tooltip = `${ repositories . length } Notebooks up to date` ;
231229 widgetState = WidgetState . UpToDate ;
232230 }
233231
234232 const updateDisplayResponse = await setUpdateButtonDisplay (
235233 widgetState ,
236- tooltip ,
234+ tooltip
237235 ) ;
238236 if ( updateDisplayResponse . returncode !== 0 ) {
239237 console . error ( updateDisplayResponse ) ;
@@ -246,12 +244,12 @@ enum WidgetState {
246244 UpdateRequired ,
247245 Updating ,
248246 Error ,
249- Initializing ,
247+ Initializing
250248}
251249
252250export async function setUpdateButtonDisplay (
253251 targetWidgetState : WidgetState ,
254- tooltip : string ,
252+ tooltip : string
255253) : Promise < { error : string ; returncode : number } > {
256254 // Get widget
257255 const widget : HTMLElement | null = document . getElementById ( widget_id ) ;
@@ -261,23 +259,18 @@ export async function setUpdateButtonDisplay(
261259
262260 // Create button label html
263261 let labelHTML ;
264- if ( targetWidgetState == WidgetState . UpToDate ) {
262+ if ( targetWidgetState == WidgetState . UpToDate ) {
265263 labelHTML = '<p><span class="success">◉</span> Up to Date</p>' ;
266-
267- } else if ( targetWidgetState == WidgetState . Updating ) {
264+ } else if ( targetWidgetState == WidgetState . Updating ) {
268265 labelHTML = '<p><span class="lds-dual-ring"></span> Updating</p>' ;
269-
270- } else if ( targetWidgetState == WidgetState . UpdateRequired ) {
266+ } else if ( targetWidgetState == WidgetState . UpdateRequired ) {
271267 labelHTML = '<p><span class="pending blink">◉</span> Update Notebooks</p>' ;
272-
273- } else if ( targetWidgetState == WidgetState . Error ) {
268+ } else if ( targetWidgetState == WidgetState . Error ) {
274269 labelHTML = '<p><span class="failure blink">◉</span> Update Error</p>' ;
275-
276- } else if ( targetWidgetState == WidgetState . Initializing ) {
270+ } else if ( targetWidgetState == WidgetState . Initializing ) {
277271 labelHTML = '<p><span class="">◉</span> Initializing</p>' ;
278-
279- } else {
280- return { error : "Unknown widget state" , returncode : 2 } ;
272+ } else {
273+ return { error : 'Unknown widget state' , returncode : 2 } ;
281274 }
282275
283276 function generateWidgetHTML ( labelHTML : string ) : string {
0 commit comments