438439440441442443444
} } private void showSidebar() { sidebarDiscovered = true; currentPlace.fireEvent(new RightSidebarExpansionEvent(true)); }