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