// Insert a table
public void insertTable() {
TableDialog dialog = new TableDialog();
dialog.exec();
if (!dialog.okPressed()) {
return;
}
int cols = dialog.getCols();
int rows = dialog.getRows();
int width = dialog.getWidth();
boolean percent = dialog.isPercent();
String newHTML = "<table border=\"1\" width=\"" +new Integer(width).toString();
if (percent)
newHTML = newHTML +"%";
newHTML = newHTML + "\"><tbody>";