From 81e70bced5b99da4a29e2d270c3e823cc55b2842 Mon Sep 17 00:00:00 2001
From: totoro <david.rene@calexium.com>
Date: Sun, 30 Sep 2018 00:00:37 +0200
Subject: [PATCH] replace html_wave_box String class_id by List(CoreAttrs) attrs. With that it's allow to add more attribute than only html id before

---
 web/widgets/css_helper.anubis | 39 ++++++++++++++++++++++++---------------
 1 file changed, 24 insertions(+), 15 deletions(-)

diff --git a/web/widgets/css_helper.anubis b/web/widgets/css_helper.anubis
index d4a2e8d..0a7fd24 100644
--- a/web/widgets/css_helper.anubis
+++ b/web/widgets/css_helper.anubis
@@ -18,10 +18,10 @@ public define HTML_Partial_Content
   (
     String                legend,
     HTML_Partial_Content  content,
-    String                class_id
+    List(CoreAttrs)       attrs
   )=
   partial_content([], 
-  div([class(class_id)],
+  div(attrs,
     sequence(
     [
       text([class("frame_wave")], legend),   //legend
@@ -31,12 +31,12 @@ public define HTML_Partial_Content
 public define HTML_Partial_Content 
   html_wave_box
   (
-    String        legend,
-    HTML_Off_Form content,
-    String        class_id
+    String          legend,
+    HTML_Off_Form   content,
+    List(CoreAttrs) attrs
   )=
   partial_content([],
-  div([class(class_id)],
+  div(attrs,
     sequence(
     [
       text([class("frame_wave")], legend),   //legend
@@ -46,11 +46,11 @@ public define HTML_Partial_Content
 public define HTML_Off_Form 
   html_wave_box
   (
-    String        legend,
-    HTML_Off_Form content,
-    String        class_id
+    String          legend,
+    HTML_Off_Form   content,
+    List(CoreAttrs) attrs
   )=
-  div([class(class_id)],
+  div(attrs,
     sequence(
     [
       text([class("frame_wave")], legend),   //legend
@@ -63,7 +63,7 @@ public define HTML_Off_Form
     String        legend,
     HTML_Off_Form content
   )=
-  html_wave_box(legend, content, "frame").
+  html_wave_box(legend, content, [class("frame")]).
 
 public define HTML_Partial_Content 
   html_wave_box
@@ -71,15 +71,24 @@ public define HTML_Partial_Content
     String                legend,
     HTML_Partial_Content  content
   )=
-  html_wave_box(legend, content, "frame").
+  html_wave_box(legend, content, [class("frame")]).
 
 public define HTML_Partial_Content 
   html_wave_box
   (
+    String                legend,
+    List(CoreAttrs)       attrs,
+    HTML_Partial_Content  content
+  )=
+  html_wave_box(legend, content, [class("frame")]+attrs).
+  
+public define HTML_Partial_Content 
+  html_wave_box
+  (
     String         legend,
     HTML_Off_Form  content
   )=
-  html_wave_box(legend, content, "frame").
+  html_wave_box(legend, content, [class("frame")]).
   
 public define HTML_Off_Form 
   html_wave_box_custom_size
@@ -101,7 +110,7 @@ public define HTML_Off_Form
     String        legend,
     HTML_Off_Form content
   )=
-  html_wave_box(legend, content, "frame wide").
+  html_wave_box(legend, content, [class("frame wide")]).
   
 public define HTML_Partial_Content 
   html_wave_box_wide
@@ -109,7 +118,7 @@ public define HTML_Partial_Content
     String                legend,
     HTML_Partial_Content  content
   )=
-  html_wave_box(legend, content, "frame wide").
+  html_wave_box(legend, content, [class("frame wide")]).
 
   /**** CHANGELIST ****/
 public type ChangeListItem:
--
libgit2 0.21.4