private void addOptionsPanel()
{
/*
* Add the options slide down panel
*/
SlideDownPrefsPanel prefsPanel = new SlideDownPrefsPanel("WidgetsPrefs", Index.getStrings().slideDown());
add(prefsPanel, "WidgetsPrefsPanel");
FlowPanel prefContents = new FlowPanel();
prefContents.add(new Label(Index.getStrings().addDisplay()));
prefsPanel.setPanel(prefContents);
addToSlidingGrid(null, "WidgetsDisplayOptions", Index.getStrings().osdp(), STRINGS.SlideDown_html());
}