whatever happened to the HeaderDoubleClick event for grids?

[bhomass]

after upgrade to 2.0.1, the HeaderDoubleClick event disappeared. I worked around by

		myGrid = new EditorGrid<RecordRow>(recordStore, recordCm) {
			@Override
			protected void onDoubleClick(GridEvent ge) {
			    Element t = ge.getTarget();
			    int header = view.findCellIndex(t, null);
			    if (header != -1) {
			    	ge.setColIndex(header);
			      fireEvent(Events.HeaderDoubleClick, ge);
			      return;
			    }
				super.onDoubleClick(ge);
			}
			
		};

is there some other way to get this event in 2.0? doc says it is still available for grid.