Re: css.properties
Andrew Truckle <[email protected]>
| Newsgroups | gmane.comp.lib.scintilla.devel |
|---|---|
| Message-ID | <[email protected]> |
Hi Neil I am such a muppet and get what you are saying now. Any style that is not set will take on the "default" value, and hence you said the style ending .32. Doh! Case solved! Andrew On Saturday 27 April 2024 at 00:00:18 UTC+1 Andrew Truckle wrote: > 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/6b6fbb9f-f9ec-422a-b416-715fabc2f99en%40googlegroups.com.