// we only show the warning bar (for debug line matching) once per
// function; don't keep showing it if the user dismisses
shownWarningBar_ = false;
// update document properties if necessary
final CodeBrowserContents contents =
CodeBrowserContents.create(getContext());
if (!contents.equalTo(getContents()))
{
HashMap<String, String> props = new HashMap<String, String>();
contents.fillProperties(props);
server_.modifyDocumentProperties(
doc_.getId(),
props,
new SimpleRequestCallback<Void>("Error")
{
@Override
public void onResponseReceived(Void response)
{
contents.fillProperties(doc_.getProperties());
}
});
}
}