/**
* Popup the view source dialog, showing the given content.
*/
public static void showSource(final String content, String name) {
Constants constants = GWT.create(Constants.class);
final FormStylePopup pop = new FormStylePopup("images/view_source.gif", //NON-NLS
Format.format(constants.ViewingSourceFor0(), name), new Integer(600), Boolean.FALSE);
final TextArea area = new TextArea();
area.setVisibleLines(30);
area.setWidth("100%");
area.setCharacterWidth(80);
pop.addRow(area);
area.setText(content);
area.setEnabled(true);
area.setTitle(constants.ReadOnlySourceNote());
area.addKeyboardListener(new KeyboardListener() {
public void onKeyDown(Widget arg0, char arg1, int arg2) {
area.setText(content);