Configurazione di micro editor
-
- Prode Principiante
- Messaggi: 17
- Iscrizione: giovedì 9 gennaio 2014, 14:33
- Desktop: Ubuntu
- Distribuzione: Ubuntu 18.10
- Sesso: Maschile
Configurazione di micro editor
Salve! Sto imparando a programmare in Java, e utilizzo micro editor. Lo so che c'è di meglio, ma mi trovo bene con quello, quindi preferirei non cambiare. Vorrei avere la possibilità di aggiungere shortcuts/comandi per le funzioni più usate (main, print, ecc). So che si può fare: in questa pagina https://github.com/zyedidia/micro/blob/ ... plugins.md ci sono i tutorial per creare plugins, completion e tutto quello che mi serve. Sono molto nabbo in merito, e continuo a non capire come fare. Qualcuno mi può aiutare?
Chi c’è in linea
Visualizzano questa sezione: 0 utenti iscritti e 10 ospiti