Enlarge default font size from 9pt to 12pt.
commitb44e7a61f3d9f802eca1a22a2b84247d97be5e15
authorJjgod Jiang <gzjjgod@gmail.com>
Thu, 22 May 2008 16:54:51 +0000 (23 00:54 +0800)
committerJjgod Jiang <gzjjgod@gmail.com>
Thu, 16 Apr 2009 01:57:17 +0000 (16 09:57 +0800)
tree10ec23609b363fec67f655225af0b28a9ffa2194
parent88e69a4fa0bf2063ae2caa46f5738d8dc7bf3537
Enlarge default font size from 9pt to 12pt.
src/gui_mac.m