* Simply stops ugly native selection on components surrounding our main
* graph. Accidental drags dirty the UI.
*/
private void preventNativeSelection(Element tabList,
DivElement graphContainerElem) {
MouseDownListener listener = new MouseDownListener() {
public void onMouseDown(MouseDownEvent event) {
event.preventDefault();
}
};
MouseDownEvent.addMouseDownListener(tabList, tabList, listener);