css - texto - No puedo cambiar el tamaño de fuente del explorador de paquetes en Eclipse

hacer zoom en eclipse

Question

Intento cambiar el tamaño de fuente del explorador de paquetes en Eclipse desde el menú Ventana → Preferencias → General → Apariencia , y no puedo cambiar el tamaño de fuente. ¿Cómo puedo hacer eso? Utilizo Eclipse v4.2 (Juno) en Windows 7.

Answer 1

Eclipse utiliza widgets nativos de Windows y su configuración solo se puede cambiar desde Propiedades de Pantalla / Configuración / Opciones avanzadas / Propiedades generales. Allí puede cambiar su DPI de pantalla para alterar los tamaños de fuente.

Answer 2

En Ubuntu 14.04 (Trusty Tahr) esta fue la mejor opción para mí:

.MPart Tree{
  font-size: 10;
}

Answer 3

En Eclipse 4.7.x, los archivos CSS se encuentran en eclipse / plugins / org.eclipse.ui.themes_1.2.1.v20170809-1435 / css /

En mi caso, uso el tema oscuro para OSX, así que abrí el archivo e4-dark_mac.css y agregué la línea de tamaño de fuente:

CTabFolder Tree, CTabFolder Canvas {
    background-color: #2F2F2F;
    color: #CCC;
    font-size: 13pt; // new 
}

Answer 4

En Juno y arriba puedes ajustar esa fuente por CSS.

Busque los archivos en eclipse/plugins/org.eclipse.platform_4.2.xy/css para su hoja de estilo actual (probablemente e4_default_win7.css ), y luego simplemente agregue la siguiente regla:

#org-eclipse-jdt-ui-PackageExplorer Tree,
#org-eclipse-ui-navigator-ProjectExplorer Tree {
  font-size: 10px; /* <-- Desired font size */
}

Actualización: las hojas de estilo están en la carpeta eclipse/plugins/org.eclipse.ui.themes_x.xxvxxxxx/css desde Eclipse 4.4 (Luna).

Answer 5

Estas son mis configuraciones y una captura de pantalla del IDE.

#org-eclipse-jdt-ui-PackageExplorer Tree,
#org-eclipse-ui-navigator-ProjectExplorer Tree,
#org-eclipse-ui-views-ContentOutline Tree,
#PerspectiveSwitcher ToolBar {
  font-size: 8px;
}

.MPartStack {
  font-size: 8;
  swt-simple: false;
  swt-mru-visible: false;
}

Answer 6

Esto funcionó para mí:

.MPart Tree{
  font-size: 8;
}

Answer 7

Gracias a la respuesta de Veger, cambié con éxito la fuente de mi PHP Explorer en PHP Perspectiva (con PDT instalado). El siguiente código CSS,

#org-eclipse-php-ui-explorer Tree {
   font-family: Consolas;
   font-size: 21px;
}

se agregan a mi archivo "eclipse-4.3 / plugins / org.eclipse.platform_4.3.1.v20130911-1000 / css / e4_default_win7.css".

Puede elegir un archivo CSS diferente, dependiendo del tema que elija en Preferencias → General → Apariencia : lista desplegable "Tema").

Answer 8

Para tu información:

Desde Eclipse v4.4 (Luna):

Parece que los archivos CSS ya no están en la carpeta antigua:

`eclipse/plugins/org.eclipse.platform_4.x.x.vy/css`,

Se mueven a la nueva carpeta:

eclipse/plugins/org.eclipse.ui.themes_x.xxvxxxxx/css

Y debe seleccionar un tema para aplicarlo, en el menú Windows → Preferencia → General → Apariencia .

Answer 9

Puede buscar los archivos de estilo CSS en eclipse/plugins/org.eclipse.platform_4.2.X.vY/css edite su estilo actual (probablemente e4_default_win7.css ).

Agrega algo como esto:

#org-eclipse-ui-jdt-PackageExplorer {
   font-size: 20pt;
}

y espero que tengas una fuente grande y bonita (no la revisé yo misma).

Consejo profesional: la próxima vez que necesite encontrar el ID de CSS para una parte de la interfaz de usuario, use CSS Spy, que puede abrir con SHIFT - ALT - F5 (después de haberlo instalado).