Can anyone tell me how to change the font from pocketmine's console? I have been using ASR script, but I realized that it will not work because everytime it restarts, there is always a popup from minty saying that it can't find it's font, so it would use a system substitute (dejavu sans mono) can anyone help me?