comparison m_option.c @ 36887:2b3ede5f8424

Remove needless fontid from Win32 GUI. It isn't used anywhere and has been removed from the X11/GTK GUI in r32827.
author ib
date Sat, 08 Mar 2014 18:31:29 +0000
parents 97446d4850cc
children
comparison
equal deleted inserted replaced
36886:590e9305f12c 36887:2b3ede5f8424