Fillip H. Staff member Owner Developer Jun 11, 2011 #4 We have per-user font size selection, so if we do decide to add a global option it'll be fairly low in priority I think.
We have per-user font size selection, so if we do decide to add a global option it'll be fairly low in priority I think.
