bbcmicrobit / bbcmicrobit/PythonEditor

Autocomplete: Window size too short for snippets

Abierto
#265 3 comentarios 0 reacciones 0 asignados Ver en GitHub
Lenguaje dominante
JavaScript
Estrellas
201
Forks
126
Métricas de merge de PR
Sin PR fusionados en 30 d

Descripción

> micro:bit support #24390 and #24511
---------
Hi, when I use the Python editor to code with the autocomplete function on, I often find the autocomplete field too short to see everything.

Here's a screenshot of a case where -I think- what I say is clear:
![autocomplete_truncated](https://user-images.githubusercontent.com/31242877/66737723-9f675380-ee64-11e9-91f1-ea2a4bca4e51.png)

The partial solution I have found is to reduce the fontsize (with the "-"), and I see this:
image

![autocomplete_ok](https://user-images.githubusercontent.com/31242877/66737728-a1c9ad80-ee64-11e9-89a0-7df9a87bd440.png)

Anyway, I think it would be great if you could adapt the autocomplete dimensions according to the text shown so that no zoom is needed to "solve" that.

--------
Another possible solution woul be so allow the windo to scroll sideways to view the entire snippet

Guía de contribución

Abrir la guía de contribución

Línea de trabajo

Comienza reproduciendo el problema en el editor de Python con el autocompletado habilitado, usando un fragmento largo como el que se muestra en las capturas de pantalla. Localiza el comportamiento relacionado con el tamaño y el desbordamiento de la ventana de autocompletado y, a continuación, verifica que los fragmentos completos sean visibles sin reducir el tamaño de la fuente, ya sea adaptando las dimensiones o permitiendo el desplazamiento horizontal.

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

Evaluación

Stack tecnológico
javascript
Área
frontend
Tipo de issue
Nueva funcionalidad
Dificultad
3/5
Tiempo estimado
1-2 días
Estado de actividad
Estancado
Claridad
Bastante claro
Aptitud para principiantes
35/100

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.