Skip to main content
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
Resultados etiquetados con
Opciones de búsqueda: not deleted user 80761

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. …
Avatar del usuario Euriloco
  • 401