docTextFrame.setCursor(def); docTextPane.setCursor(def); getDocTextThread = null;
		public void run() {		    setCursor(wait);		    // get the doc text		    TableModel m = answerAll.getModel();		    //String name = (String) m.getValueAt(row, 0);		    String name = names[row];		    status.setText("Getting " + name);		    String title = (String) m.getValueAt(row, 1);		    if (title.equals(""))			docHtmlFrame.setTitle(name);		    else			docHtmlFrame.setTitle(title);		    currentDocId = docids[row]; // internal docid		    // get the parsed document		    int [] ids = new int[1];		    ids[0] = currentDocId;		    		    ParsedDocument[] docs = env.documents(ids);		    currentParsedDoc = docs[0];		    String myDocText = currentParsedDoc.text;		    // insert into doc text pane		    docHtmlPane.setContentType("text/html");		    docHtmlPane.setText(myDocText);		    // reset caret to start of doc text.		    docHtmlPane.setCaretPosition(0);		    if (! docHtmlFrame.isShowing()) {			docHtmlFrame.setLocationRelativeTo(query);			docHtmlFrame.setVisible(true);		    }		    status.setText(" ");		    setCursor(def);		}