search

alexgadea / fun-gui

fun-gui es la interfaz grafica para fun
GNU General Public License v3.0
1 stars 0 forks source link

Historia de comandos para el evaluador #22

Open miguelpagano opened 10 years ago

miguelpagano commented 10 years ago

poder repetir comandos con flechas, quizás ctrl+r para buscar?