}
});
tbl.getElement().setId("codeText");
String codeUrl = url.substring(url.lastIndexOf("/") + 1);
HTTP.doGet(Globals.SOURCE_PATH.replace("$", codeUrl), new ResponseReader() {
public void onSuccess(Response resp) {
tbl.setWidget(0, 0, new HTML("<pre>" + toHighlighted(resp.getText()) + "</pre>"));
tbl.setWidget(1, 0, btnCopy);
tbl.setWidget(1, 1, btnGit);
}