Opciones de los paneles de navegación

Todos los paneles de navegación contienen un menú emergente Opciones en la esquina superior derecha. Los comandos disponibles en este menú varían.

Algunos paneles también contienen otros botones que afectan a los elementos del panel. Como se ha mencionado anteriormente, estos botones varían en función de los paneles, y algunos paneles no contienen ninguno.