# HG changeset patch
# User Ingo Weinzierl <ingo.weinzierl@intevation.de>
# Date 1351491522 -3600
# Node ID 7a94d5e7fc3d49fe8233a965cc3f13b173a48fec
# Parent  7140bb0f92b01f2cf6043a4d55e9b6b0c58abace
Write the "hidden" attribute of a style into the collection's attribute when using the theme editor.
Otherwise, the next time using the theme editor, the hidden attributes that should not be changed
by the user are visible.

diff -r 7140bb0f92b0 -r 7a94d5e7fc3d flys-client/src/main/java/de/intevation/flys/client/server/CollectionItemAttributeServiceImpl.java
--- a/flys-client/src/main/java/de/intevation/flys/client/server/CollectionItemAttributeServiceImpl.java	Mon Oct 29 06:54:48 2012 +0100
+++ b/flys-client/src/main/java/de/intevation/flys/client/server/CollectionItemAttributeServiceImpl.java	Mon Oct 29 07:18:42 2012 +0100
@@ -191,6 +191,7 @@
                 field.setAttribute("default", set.getDefaultValue());
                 field.setAttribute("hints", set.getHints());
                 field.setAttribute("type", set.getType());
+                field.setAttribute("hidden", String.valueOf(set.isHidden()));
                 theme.appendChild(field);
             }
             themes.appendChild(theme);