search

alexgadea / fun-gui

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

Dos renglones en la lista de símbolos #23

Closed miguelpagano closed 10 years ago

miguelpagano commented 10 years ago

De esa manera no hace falta scrollear.