private void updateTitle(){
		File file = getProgram().getFile();
		String title;
		if (file != null){
			title = file.getName();
		} else {
			title = "Unsaved Program";
		}
		if (getProgram().isDirty()){
			title+=" *";
		}
		setTitle("LOGO - "+title);
	}