
"Pull", commands.vcsPull().getImageResource(),
commands.vcsPull()));</BUG>
topToolbar_.addRightSeparator();
<BUG>topToolbar_.addRightWidget(new ToolbarButton(

"Push", commands.vcsPush().getImageResource(),
commands.vcsPush()));</BUG>
diffToolbar_.addStyleName(RES.styles().toolbar());
diffToolbar_.addStyleName(RES.styles().diffToolbar());

changelist_.showProgress();
commands.vcsRefresh().execute();
}
}));
topToolbar_.addRightSeparator();
topToolbar_.addRightWidget(commands.vcsPull().createToolbarButton());
topToolbar_.addRightSeparator();
topToolbar_.addRightWidget(commands.vcsPush().createToolbarButton());
diffToolbar_.addStyleName(RES.styles().toolbar());
diffToolbar_.addStyleName(RES.styles().diffToolbar());
