diff src/browser/sat_browser/editor_widget.py @ 703:1a19ee7d8d8a

server_side: add default theme
author souliane <souliane@mailoo.org>
date Thu, 04 Jun 2015 11:56:34 +0200
parents c2f22ca12e23
children 3b91225b457a
line wrap: on
line diff