1. 54462eb Fixed the Theme Service removeListener method by Steven Burrows · 7 years ago
  2. a6ae121 Topo2: sprites now use logical colors. by Simon Hunt · 7 years ago
  3. f51bf46 WEB UI -- Simplified listener mechanism in theme.js to match that of prefs.js by Simon Hunt · 8 years ago
  4. 5ab426f Updating copyrights by Brian O'Connor · 8 years ago
  5. 341310c Adding a listener mechanism for updated preferences. by Thomas Vachuska · 8 years ago
  6. 0af2691 Adding server-side user preferences. by Thomas Vachuska · 8 years ago
  7. 245a88e GUI -- Added theme listeners, so the instance panel can update the instances on a theme change. by Simon Hunt · 9 years ago
  8. d169deb GUI -- Removed @author tags from all .js/.css etc. to match our code style choice. by Simon Hunt · 9 years ago
  9. 8ead3a2 GUI -- Updated copyright year for GUI source files. by Simon Hunt · 9 years ago
  10. 4f39bcd GUI -- implemented Theme Service. by Yuta HIGUCHI · 10 years ago