import cx = require("classnames"); import React = require("react"); import { Workspace } from "@tandem/editor/browser/stores"; import { SetToolRequest } from "@tandem/editor/browser/messages"; import { WorkspaceToolFactoryProvider } from "@tandem/editor/browser/providers"; class ToolComponent extends React.Component<{ app: any, workspace: Workspace, toolProvider: WorkspaceToolFactoryProvider }, any> { render() { const dep = this.props.toolProvider; const className = cx({ selected: false, [`m-preview-tool s s-${this.props.toolProvider.icon}`]: true, }); return (
  • ); } } export default ToolComponent;