purescript / purescript/trypurescript

Code editor is difficult to use in iOS Safari

Abierto
#308 0 comentarios 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Lenguaje dominante
PureScript
Estrellas
121
Forks
51
Métricas de merge de PR
Sin PR fusionados en 30 d

Descripción

In Safari in iOS, it's difficult to delete text in the Try Purescript! code window. Backspace seems to be the only option. I gather that this is due to some interaction between the Ace editor and iOS or Safari. (This makes issue #309 more important in this context.)

It would be nice to be able to try out Purescript on an iPad. On a real computer, you always have the option of installing Purescript, so in some ways it's more important to be able to use Try Purescript! on a tablet.

Obviously, it's unlikely that one would do real work in Try Purescript! on a tablet, but it would be nice to able to play around with the language. At present, you have to be pretty desperate to do that in iOS Safari.

Maybe I'm missing way of interacting with the editor, but I tried the usual tricks, I think. (Maybe other browsers for iOS are better, but Safari is the default, obviously.)

Guía de contribución

No hay ninguna guía de contribución indexada para este repositorio

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.

Línea de trabajo

Start by reproducing the deletion problem in the Try Purescript! code window using Safari on iOS, then inspect the Ace editor integration. Compare the editor's behavior with the usual text-editing interactions described in the issue. Done means text can be deleted normally in iOS Safari without regressing the existing editor behavior.

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

Evaluación

Área
frontend, web-dev
Tipo de issue
Error
Dificultad
4/5
Tiempo estimado
3-5 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.