Victor B. Gonzalez:
Not sure how many people might be affected by this *but* would it make sense to make slight changes to the capitalization of "Monospace"? Since Windows is case insensitive and Ubuntu is case sensitive this would work on both right out of the box?
Changing the capitalisation of font.monospace would cause many people's existing configurations to behave differently. Making properties case-insensitive would make it harder to support some situations where case is used. Actual font names are passed directly through to the platform layer and I can't recall if Windows (or GTK+) is always case-insensitive for this. There is no font called "Monospace" or "monospace" on my Windows installation. Neil _______________________________________________ Scite-interest mailing list [email protected] http://mailman.lyra.org/mailman/listinfo/scite-interest
