diff gwt-client/ChangeLog-before-20121018 @ 7270:a365e587af67

Little workaround not to crash uf there is no theme style. TODO: Figure out why the theme style is null at this point.
author Sascha L. Teichmann <teichmann@intevation.de>
date Wed, 09 Oct 2013 13:05:37 +0200
parents 5aa05a7a34b7
children
line wrap: on
line diff

http://dive4elements.wald.intevation.org