diff subopt-helper.h @ 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 08a90b0e44e1
children
line wrap: on
line diff