Work around VSC issue with formatting on save #624

package.json

@@ -78,8 +78,8 @@
  "onCommand:python.startREPL",
  "onCommand:python.goToPythonObject",
  "onCommand:python.setLinter",
- "onCommand:python.enableLinting",
- "onCommand:python.createTerminal"
+ "onCommand:python.enableLinting",
+ "onCommand:python.createTerminal"
  ],
  "main": "./out/client/extension",
  "contributes": {

src/client/common/application/documentManager.ts

@@ -4,7 +4,7 @@
 // tslint:disable:no-any
 
 import { injectable } from 'inversify';
-import { Event, TextDocument, TextDocumentShowOptions, TextEditor, TextEditorOptionsChangeEvent, TextEditorSelectionChangeEvent, TextEditorViewColumnChangeEvent, Uri, ViewColumn, window } from 'vscode';
+import { Event, TextDocument, TextDocumentShowOptions, TextEditor, TextEditorOptionsChangeEvent, TextEditorSelectionChangeEvent, TextEditorViewColumnChangeEvent, Uri, ViewColumn, window, workspace } from 'vscode';
 import { IDocumentManager } from './types';
 
 @injectable()
@@ -30,10 +30,12 @@ export class DocumentManager implements IDocumentManager {
  public get onDidChangeTextEditorViewColumn(): Event<TextEditorViewColumnChangeEvent> {
  return window.onDidChangeTextEditorViewColumn;
  }
+ public get onDidSaveTextDocument(): Event<TextDocument> {
+ return workspace.onDidSaveTextDocument;
+ }
  public showTextDocument(document: TextDocument, column?: ViewColumn, preserveFocus?: boolean): Thenable<TextEditor>;
  public showTextDocument(document: TextDocument | Uri, options?: TextDocumentShowOptions): Thenable<TextEditor>;
  public showTextDocument(uri: any, options?: any, preserveFocus?: any): Thenable<TextEditor> {
  return window.showTextDocument(uri, options, preserveFocus);
  }
-
 }

src/client/common/application/types.ts

@@ -302,6 +302,11 @@ export interface IDocumentManager {
  */
  readonly onDidChangeTextEditorViewColumn: Event<TextEditorViewColumnChangeEvent>;
 
+ /**
+ * An event that is emitted when a [text document](#TextDocument) is saved to disk.
+ */
+ readonly onDidSaveTextDocument: Event<TextDocument>;
+
  /**
  * Show the given document in a text editor. A [column](#ViewColumn) can be provided
  * to control where the editor is being shown. Might change the [active editor](#window.activeTextEditor).

src/client/common/application/workspace.ts

@@ -2,36 +2,36 @@
 // Licensed under the MIT License.
 
 import { injectable } from 'inversify';
-import { CancellationToken, Event, FileSystemWatcher, GlobPattern, Uri, workspace, WorkspaceConfiguration, WorkspaceFolder, WorkspaceFoldersChangeEvent } from 'vscode';
+import * as vscode from 'vscode';
 import { IWorkspaceService } from './types';
 
 @injectable()
 export class WorkspaceService implements IWorkspaceService {
- public get onDidChangeConfiguration(): Event<void> {
- return workspace.onDidChangeConfiguration;
+ public get onDidChangeConfiguration(): vscode.Event<void> {
+ return vscode.workspace.onDidChangeConfiguration;
  }
  public get rootPath(): string | undefined {
- return workspace.rootPath;
+ return vscode.workspace.rootPath;
  }
- public get workspaceFolders(): WorkspaceFolder[] | undefined {
- return workspace.workspaceFolders;
+ public get workspaceFolders(): vscode.WorkspaceFolder[] | undefined {
+ return vscode.workspace.workspaceFolders;
  }
- public get onDidChangeWorkspaceFolders(): Event<WorkspaceFoldersChangeEvent> {
- return workspace.onDidChangeWorkspaceFolders;
+ public get onDidChangeWorkspaceFolders(): vscode.Event<vscode.WorkspaceFoldersChangeEvent> {
+ return vscode.workspace.onDidChangeWorkspaceFolders;
  }
- public getConfiguration(section?: string, resource?: Uri): WorkspaceConfiguration {
- return workspace.getConfiguration(section, resource);
+ public getConfiguration(section?: string, resource?: vscode.Uri): vscode.WorkspaceConfiguration {
+ return vscode.workspace.getConfiguration(section, resource);
  }
- public getWorkspaceFolder(uri: Uri): WorkspaceFolder | undefined {
- return workspace.getWorkspaceFolder(uri);
+ public getWorkspaceFolder(uri: vscode.Uri): vscode.WorkspaceFolder | undefined {
+ return vscode.workspace.getWorkspaceFolder(uri);
  }
- public asRelativePath(pathOrUri: string | Uri, includeWorkspaceFolder?: boolean): string {
- return workspace.asRelativePath(pathOrUri, includeWorkspaceFolder);
+ public asRelativePath(pathOrUri: string | vscode.Uri, includeWorkspaceFolder?: boolean): string {
+ return vscode.workspace.asRelativePath(pathOrUri, includeWorkspaceFolder);
  }
- public createFileSystemWatcher(globPattern: GlobPattern, ignoreCreateEvents?: boolean, ignoreChangeEvents?: boolean, ignoreDeleteEvents?: boolean): FileSystemWatcher {
- return workspace.createFileSystemWatcher(globPattern, ignoreChangeEvents, ignoreChangeEvents, ignoreDeleteEvents);
+ public createFileSystemWatcher(globPattern: vscode.GlobPattern, ignoreCreateEvents?: boolean, ignoreChangeEvents?: boolean, ignoreDeleteEvents?: boolean): vscode.FileSystemWatcher {
+ return vscode.workspace.createFileSystemWatcher(globPattern, ignoreChangeEvents, ignoreChangeEvents, ignoreDeleteEvents);
  }
- public findFiles(include: GlobPattern, exclude?: GlobPattern, maxResults?: number, token?: CancellationToken): Thenable<Uri[]> {
- return workspace.findFiles(include, exclude, maxResults, token);
+ public findFiles(include: vscode.GlobPattern, exclude?: vscode.GlobPattern, maxResults?: number, token?: vscode.CancellationToken): Thenable<vscode.Uri[]> {
+ return vscode.workspace.findFiles(include, exclude, maxResults, token);
  }
 }