Settings de Trebuchet en MiniCM9

Hace unos días volví a utilizar el launcher Trebuchet en el celular; previamente estuve utilizando Apex Launcher, pero últimamente se está tornando algo lento para operar así que decidí retornar al original de CyanogenMod9.

Por motivos que desconozco, teniendo los dos lanzadores instalados no es posible acceder a las opciones de configuración de Trebuchet, no se si se mambea el menú o qué, pero no aparecen donde deberían aparecer. Para colmo, la búsqueda en Google me da la sensación que no soy el único al que le pasa (ver forum.cyanogenmod.com y forum.xda-developers.com).

En cualquier caso, es posible salir del paso iniciando la configuración desde una terminal, para ello vamos al Android Terminal Emulator, y ejecutamos:

am start com.cyanogenmod.trebuchet/.preference.Preferences

Logrando el resultado que puede verse aquí:

Por cierto, estaba buscando cómo tomar una captura de pantalla y no advertí que era tan sencillo como elegir la opción en el menú que aparece pulsando Power. Tonto de mí.