@@ -358,6 +358,9 @@ import { MonacoEditorMenuContribution as TheiaMonacoEditorMenuContribution } fro
358358import { UpdateArduinoState } from './contributions/update-arduino-state' ;
359359import { TerminalFrontendContribution } from './theia/terminal/terminal-frontend-contribution' ;
360360import { TerminalFrontendContribution as TheiaTerminalFrontendContribution } from '@theia/terminal/lib/browser/terminal-frontend-contribution' ;
361+ import { SelectionService } from '@theia/core/lib/common/selection-service' ;
362+ import { CommandService } from '@theia/core/lib/common/command' ;
363+ import { CorePreferences } from '@theia/core/lib/browser/core-preferences' ;
361364
362365// Hack to fix copy/cut/paste issue after electron version update in Theia.
363366// https://github.com/eclipse-theia/theia/issues/12487
@@ -796,10 +799,19 @@ export default new ContainerModule((bind, unbind, isBound, rebind) => {
796799 ) ;
797800 const iconThemeService =
798801 context . container . get < IconThemeService > ( IconThemeService ) ;
802+ const selectionService =
803+ context . container . get < SelectionService > ( SelectionService ) ;
804+ const commandService =
805+ context . container . get < CommandService > ( CommandService ) ;
806+ const corePreferences =
807+ context . container . get < CorePreferences > ( CorePreferences ) ;
799808 return new TabBarRenderer (
800809 contextMenuRenderer ,
801810 decoratorService ,
802- iconThemeService
811+ iconThemeService ,
812+ selectionService ,
813+ commandService ,
814+ corePreferences
803815 ) ;
804816 } ) ;
805817
0 commit comments