El orden de los widgets de extensión de shell parece ser aleatorio, ¿cómo puedo cambiarlo? Quiero tener la información de fecha / hora a la izquierda, por ejemplo.
Mi panel de shell:
El orden de los widgets de extensión de shell parece ser aleatorio, ¿cómo puedo cambiarlo? Quiero tener la información de fecha / hora a la izquierda, por ejemplo.
Mi panel de shell:
Respuestas:
Forma común:
Para comenzar, debe encontrar el archivo correspondiente de la extensión que desea cambiar.
Generalmente, usted puede encontrar aquí:
~/.local/share/gnome-shell/extensions
.Si la extensión se ha instalado a través del administrador de paquetes, puede encontrarla aquí:
/usr/share/gnome-shell/extensions/
(Gracias a AB )Luego vaya al directorio de la extensión y abra "
extension.js
" con cualquier editor de texto.Vaya a la línea con:
function enable()
(use la función de búsqueda en su editor; si no puede encontrarla, vaya a la sección Actualizar más abajo).Dentro de esta función generalmente hay una línea
Main.panel.addToStatusArea('NAME', _OTHERNAME, NUMBER, LEFT/CENTER/RIGHT);
(de nuevo: si no puede encontrarla, vaya a Actualizar ). Podría suceder que falten los dos últimos parámetros (NUMBER
yPOSITION
); tiene el siguiente aspecto:Main.panel.addToStatusArea('NAME', _OTHERNAME);
(¡No se preocupe! Su computadora interpreta la versión más corta con:
('NAME', _OTHERNAME, 0, right);
Siéntase libre de agregar los parámetros que faltan. ¡Pero siempre en el orden mostrado! )Los
POSITION
define dónde en el panel el icono debe ser. Hay tres áreas: izquierda , centro y derecha . Probablemente no desee cambiar este valor, pero no dude en hacerlo. Aquí están los tres estados posibles paraPOSITION
el panel:El valor más importante que probablemente quiera cambiar es
NUMBER
. Define el orden de los iconos dentro de los subpaneles. Los valores posibles son:0 : no me importa dónde está el ícono.
valores negativos : posición; comenzando desde el lado derecho (podría ser importante ya que todos los íconos de extensión se cargan después de los íconos del sistema)
valores positivos : posición; empezando por el lado izquierdo. Los valores más altos se ubicarán más al lado derecho.
Tienes que jugar con esos valores en todas tus extensiones porque los mismos valores entran en conflicto entre sí (dos extensiones diferentes en la posición 2 no tienen ningún sentido). Y a veces incluso los siguientes valores entran en conflicto.
Cada vez que cambie el valor, asegúrese de guardar el archivo. Luego presione Alt+ F2, escriba ry Enter. El panel se actualizará con los iconos recién ordenados. Esta es una opción rápida para jugar con esos valores.
Por último, una cita de Mathematical Coffee :
Avíseme si tuvo algún problema con este enfoque.
Actualizar:
Miré a mi alrededor y reconocí que esta forma no funciona para todas las extensiones (principalmente solo para extensiones simples / nuevas). Una extensión de uso frecuente en este caso es "monitor de sistema". La forma de modificar la posición de los iconos debería ser (generalmente) la misma (no lo he probado. Por lo tanto, asegúrese de crear un archivo de copia de seguridad) . Pero hay algunas diferencias para el "monitor del sistema":
var enable = function ()
. Por lo tanto, podría ser mejor buscar la palabraenable
en el archivo.Se llama el lugar donde se define la posición de los iconos
Main.panel._addToPanelBox('system-monitor', tray, 1, panel);
. Cambiar el número debería tener el mismo efecto que el descrito anteriormente. Para cambiar toda el área tiene dos opciones:Al cambiar la misma línea a
Main.panel._addToPanelBox('system-monitor', tray, 1, Main.panel._rightBox);
(Nota: la posición en el menú de configuración de la extensión ya no funcionará).O cambiando la línea
let panel = Main.panel._rightBox;
(nuevamente use la función de búsqueda) a la posición deseada ( _leftBox, _centerBox, _rightBox ).(Estos pasos se pueden aplicar a cualquier otra extensión. Pero habrá nombres ligeramente diferentes. Pero aún así: la forma común se describió en mi primer intento de esta respuesta)
Todo el procedimiento en pocas palabras:
Busque el archivo correspondiente. Luego busque
enable
dentro de este archivo. Luego busque algo parecidoMain.panel...
y cambie los valores (bastante claro).Y finalmente noté que mencionaste el panel de tiempo. No encontré una buena manera de modificar su posición, pero aquí hay algo más:
Tiene "monitor de sistema" instalado. Eso es bueno :)
Abra el acorde
extension.js
y cambie la palabra "derecha" a "izquierda" en esas dos líneas:Main.panel._addToPanelBox('dateMenu', dateMenu, -1, Main.panel._rightBox);
yMain.panel._rightBox.insert_child_at_index(dateMenu.actor, -1);
.Finalmente, debe marcar "mover reloj" en la configuración de esta extensión. Ahí tienes! No lo he probado pero debería funcionar. Si no, escribe un comentario :)
Ahh! Olvidé mencionar: Cada vez que cambie de valor, guarde el archivo y actualice el panel con Alt+ F2- tipo r- hit Enter. ¡Y asegúrese de crear archivos de copia de seguridad! :RE
fuente
/usr/share/gnome-shell/extensions/
La extensión del menú del panel de extensión le permitirá ordenar los indicadores con la función " Desplazamiento de bandeja" y la pestaña Indicadores. Después de instalar la extensión, vaya a la configuración para ajustar sus indicadores. ¡Feliz OCDing!
fuente
También hay una manera más fácil de abrir
gnome-tweak-tool
, navegar a la pestaña Extensiones y luego apagar y volver a encender las extensiones. Al hacer esto, se mueven los iconos a la izquierda.fuente
off
yon
...?