index e1413b46e788a87f9f90832c551aeec169d4e614..d9a0c43e689413d02bec8e8666b4651ad987659c 100644 (file)
return h;
}
-bool font_style_equal::operator()(const font_style &a,const font_style &b) {
+bool font_style_equal::operator()(const font_style &a,const font_style &b) const {
for (int i=0;i<6;i++) {
if ( (int)(100*a.transform[i]) != (int)(100*b.transform[i]) ) return false;
}