Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Petite nouvelle fonctionnalité ?] Ajouter un raccourcis clavier à l'éditeur pour exécuter le code SQL #4

Open
Naereen opened this issue May 30, 2024 · 1 comment

Comments

@Naereen
Copy link

Naereen commented May 30, 2024

Bonjour @fortierq,
Encore un énorme merci pour cette belle plateforme et le travail sur celle-ci.

Un de mes élèves ce matin m'a suggéré une amélioration : si on pouvait lier un raccourcis clavier (au pif, Ctrl+Enter comme sur BetterOCaml) pour exécuter le code SQL, ce serait un gain de temps en TP.

Le code correspondant doit être cette ligne là :

J'ai trouvé ce poste StackOverflow qui parle d'ajouter des raccourcis clavier à l'éditeur Monaco avec React, ça semble coller.

Je ne suis pas assez expert pour installer et tester en local la version de développement, par contre, désolé. (et pas trop le temps).

Merci d'avance si un jour tu pourras ajouter cette mini fonctionnalité !
En attendant, ciao
Lilian Besson (@Naereen)

@fortierq
Copy link
Member

fortierq commented Jun 1, 2024

Bonjour,
Merci, c'est effectivement une bonne idée. Je vais m'en occuper !

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants