/// <reference types="react" />
import React = require("react");
import { Workspace } from "@tandem/editor/browser/stores";
import { WorkspaceToolFactoryProvider } from "@tandem/editor/browser/providers";
declare class ToolComponent extends React.Component<{
    app: any;
    workspace: Workspace;
    toolProvider: WorkspaceToolFactoryProvider;
}, any> {
    render(): JSX.Element;
}
export default ToolComponent;