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