gbdev/rgbds-live

add text editor options (font size, on/off suggestions)

Open

#118 ouverte le 18 nov. 2025

Voir sur GitHub
 (1 commentaire) (1 réaction) (0 assignés)JavaScript (14 forks)github user discovery
enhancementgood first issue

Métriques du dépôt

Stars
 (54 stars)
Métriques de merge PR
 (Métriques PR en attente)

Description

A few options to improve the experience of using rgbds-live:

  • specify font size; could be on-screen buttons, a field in the "settings" menu and/or keyboard shortcuts (currently the only way to make font size bigger is to live edit the stylesheet in the web browser)
  • disable suggestions/autocomplete ; it is good at the beginning but then it is not needed and makes the interface feel slow

Thanks!

Guide contributeur

Direction de recherche
Examinez le menu des paramètres existant et le composant éditeur pour intégrer le contrôle de la taille de la police et l'activation/désactivation de l'autocomplétion.
Stack technique
javascript
Domaine
frontend
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
1
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
Une demi journée
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Récente
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Plutôt claire
Prérequis
JavaScriptHTML/CSS
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
80