Removed unneeded code.

mrdoob · mrdoob · commit d7bdef587eda · 2025-05-14T17:11:25.000+09:00
diff --git a/devtools/background.js b/devtools/background.js
@@ -32,8 +32,6 @@ chrome.runtime.onConnect.addListener( port => {
 		if ( tabId ) {
 
 			connections.delete( tabId );
-			// Clear badge if devtools panel is closed for this tab
-			chrome.action.setBadgeText( { tabId: tabId, text: '' } ).catch( () => { /* Tab might be gone */ } );
 
 		}
 

Original file line number	Diff line number	Diff line change
`@@ -32,8 +32,6 @@ chrome.runtime.onConnect.addListener( port => {`
`32`	`32`	`if ( tabId ) {`
`33`	`33`
`34`	`34`	`connections.delete( tabId );`
`35`		`- // Clear badge if devtools panel is closed for this tab`
`36`		`- chrome.action.setBadgeText( { tabId: tabId, text: '' } ).catch( () => { /* Tab might be gone */ } );`
`37`	`35`
`38`	`36`	`}`
`39`	`37`