public void onMouseDown(MouseDownEvent event)
{
Element el = DOM.eventGetTarget((Event) event.getNativeEvent());
if (el != null
&& el.getTagName().equalsIgnoreCase("div")
&& el.getClassName().equals(res.styles().disclosure()))
{
// disclosure click
commands.historyShowContext().execute();
}
}