purescript / purescript/trypurescript

Code editor is difficult to use in iOS Safari

Aperta
#308 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Lingua principale
PureScript
Stelle
121
Fork
51
Metriche di merge delle PR
Nessuna PR unita negli ultimi 30g

Descrizione

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.)

Guida per i contributori

Nessuna guida per i contributori indicizzata per questo repository

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Direzione di ricerca

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.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Valutazione

Ambito
frontend, web-dev
Tipo di issue
Bug
Difficoltà
4/5
Tempo stimato
3-5 giorni
Stato di attività
Ferma
Chiarezza
Abbastanza chiara
Idoneità per principianti
35/100

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.