Fix bug #24: GMENU_LAYERS don't work on Opera