Hacktoberfest 2026: los issues que los mantenedores marcaron para octubre, abiertos y aptos para principiantes. Explorar issues de Hacktoberfest

Hard to use preferences->colors->racket

Abierto
#663 2 comentarios 1 reacción 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
3/5
Tiempo estimado
1-2 días
Aptitud para principiantes
35/100
Tipo de issue
Error
Claridad
Bastante claro
Estado de actividad
Estancado

Línea de trabajo

Reproduzca el problema en la pantalla preferences->colors->racket después de aumentar el tamaño de fuente del editor mediante preferences->font, utilizando el entorno de Ubuntu 22.04 y Xfce 4.16 descrito. Compare las dos capturas de pantalla y verifique que los nombres de los elementos sigan siendo visibles con el tamaño de fuente más grande.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

I'm getting old and I enlarge my fonts. I noticed on the preferences->colors->racket screen the names of the items are not viewable if the editor font size is increased on preferences->font.

Environment:
Ubuntu 22.04. Linux, X+xfce 4.16.

Here are two screenshots. First is font size 14. Second is font size 24.

image
image

Lenguaje dominante
Racket
Estrellas
516
Forks
103
Merge medio
8 h 52 min
PR fusionados (30 d)
1

Preparar el entorno

Este proyecto no incluye contenedor de desarrollo, Dockerfile ni guía de contribución, así que la configuración corre por tu cuenta: empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de racket/drracket

Todos los issues de racket/drracket

Issues similares

Más issues de Accessibility

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.