ServiceMenu: ja es pot canviar la dificultat

source/options.h

@@ -126,6 +126,7 @@ namespace Options
 	extern AudioOptions audio;						// Opciones de audio
 	extern std::vector<GamepadOptions> controllers; // Opciones de mando para cada jugador
 	extern PendingChanges pending_changes;			// Opciones que se aplican al cerrar
+	extern std::vector<Difficulty> difficulties;
 
 	// --- Funciones de configuración ---
 	void init();							 // Inicializa las opciones del programa
@@ -137,4 +138,5 @@ namespace Options
 	int getPlayerWhoUsesKeyboard();			 // Averigua quién está usando el teclado
 	void applyPendingChanges();				 // Aplica los cambios pendientes copiando los valores a sus variables
 	void checkPendingChanges();
+	DifficultyCode getDifficultyCodeFromName(const std::string& name);
 } // namespace Options