import { WebSocketMessage } from './websocket-message';
export interface IDEMessage extends WebSocketMessage {
filename: string;
content?: string;
files?: string[];
}