Comment Comment by zarmin i read somewhere that it can write a plugin to change its font size parent zarmin 1 month ago