Skip to content

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

@Naereen

Description

@Naereen

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)

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions