How to change new file default extension fast

wss · 12 July 2023 09:26

Hi,
I create a custom extension that uses build-in WorkspaceCommands.NEW_FILE command, my problem is that I do want to use the .txt extension when creating, Is there a quick method to use a custom file extension?

vince-fugnitto · 12 July 2023 11:51

@wss you can re-implement the following method when extending the contribution in your custom extension:

github.com

eclipse-theia/theia/blob/17720a4982aa52ed14483e50db4e9efd862eb70d/packages/workspace/src/browser/workspace-commands.ts#L478-L483

      
        
            protected getDefaultFileConfig(): { fileName: string, fileExtension: string } {
                return {
                    fileName: 'Untitled',
                    fileExtension: '.txt'
                };
            }

wss · 13 July 2023 01:21

hi
I extend the WorkspaceCommandContribution,but it did not work, I think I miss some step

msujew · 13 July 2023 10:12

@wss You don’t want to bind it as a new CommandContribution, but to rebind/replace the original one:

rebind(WorkspaceCommandContribution).to(MyWorkspaceCommandContribution).inSingletonScope();

wss · 14 July 2023 00:18

thanks, got it