String makeTool = (String)buffer.getProperty("make"); makeTool = GUIUtilities.input(view,"make",makeTool); if(makeTool == null) return; buffer.putProperty("make",makeTool); try { Process proc = Runtime.getRuntime().exec(makeTool); proc.getOutputStream().close(); new CommandOutput(view,makeTool,proc); } catch(IOException io) { Object[] args = { io.getMessage() }; GUIUtilities.error(view,"ioerror",args); }
new Console(view,(String)buffer.getProperty("make"));
	public void actionPerformed(ActionEvent evt)	{		View view = getView(evt);		Buffer buffer = view.getBuffer();		String makeTool = (String)buffer.getProperty("make");		makeTool = GUIUtilities.input(view,"make",makeTool);		if(makeTool == null)			return;		buffer.putProperty("make",makeTool);		try		{			Process proc = Runtime.getRuntime().exec(makeTool);			proc.getOutputStream().close();			new CommandOutput(view,makeTool,proc);		}		catch(IOException io)		{			Object[] args = { io.getMessage() };			GUIUtilities.error(view,"ioerror",args);		}	}