Ubuntu中文论坛

很古老的问题，就是会经常锁死键盘的问题。
这个像是kile的那个问题的双胞胎，但貌似kile已经fix掉了，也该动动这个问题了吧。。
使用scilab的同志请关心一下。