-
Andy Hertzfeld authored
made the property browser update when the theme changes; fixed bug in making theme selectors, and added emblems that I forgot to add on Friday.
84cdcd49
made the property browser update when the theme changes; fixed bug in making theme selectors, and added emblems that I forgot to add on Friday.