Re: css.properties
Andrew Truckle <[email protected]>
| Newsgroups | gmane.comp.lib.scintilla.devel |
|---|---|
| Message-ID | <[email protected]> |
Thank you. I didn't think it was that one because it ends .32 instead of .2? On Friday 26 April 2024 at 22:51:43 UTC+1 Neil Hodgson wrote: > Andrew Truckle: > > > I tried searching the source and could not find any other references to > this property value. So it is not clear to me what the default actually is. > Sorry! > > A few lines earlier in the css.properties file: > > # Default > style.css.32=$(font.code.base) > > > Neil > > -- You received this message because you are subscribed to the Google Groups "scintilla-interest" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/scintilla-interest/464554a7-549c-4a46-95b4-93c111a7b7a4n%40googlegroups.com.