diff --git a/exec/pickfont.js b/exec/pickfont.js index 42668c16b8b8fd919c44b4bb616480b88d9199e2..0f8190a42e8a3e6a90f0ffedc174a35f7d8c802d 100644 --- a/exec/pickfont.js +++ b/exec/pickfont.js @@ -74,8 +74,11 @@ function pickfont() } var slot=0; - if(argc>0) + if(argc>0) { slot=parseInt(argv[0]); + if (isNaN(slot) + slot = 0; + } write("\x1b[0;"+slot+" D"); }