Resultados de Búsqueda
Tipo de búsqueda | Sintaxis de búsqueda |
---|---|
Etiquetas | [etiqueta] |
Exacto | "escribir palabras aquí" |
Autor |
user:1234 user:me (tuyas) |
Puntuación |
score:3 (3+) score:0 (ninguna) |
Respuestas |
answers:3 (3+) answers:0 (ninguna) isaccepted:yes hasaccepted:no inquestion:1234 |
Vistas | views:250 |
Código | code:"if (foo != bar)" |
Secciones |
title:manzanas body:"peras manzanas" |
URL | url:"*.example.com" |
Guardados | in:saves |
Estado |
closed:yes duplicate:no migrated:no wiki:no |
Tipos |
is:question is:answer |
Excluir |
-[etiqueta] -manzanas |
Visita nuestra página de ayuda para obtener más información sobre la búsqueda avanzada |
1 resultado
Eclipse es un IDE de código abierto y una plataforma para la creación de aplicaciones. Hay una amplia variedad de plugins para varios lenguajes de programación y otras herramientas orientadas al desarrollo (tales como el modelado, navegación por bases de datos, etc.). Esta etiqueta sólo se debe utilizar para las preguntas específicamente sobre el IDE de Eclipse o plataforma, no por generalizada (Java, Android, etc.) en los temas de programación.
1
voto
0
respuestas
744
vistas
Tamaño fuente en barra menú Spring Tool Suite (Eclipse)
Me gustaría incrementar el tamaño de la fuente de la barra de menú de Spring Tool Suite (eclipse) pero no sé dónde se modifica este parámetro. …