Anubis / Xlib

Commit 81e70bced5b99da4a29e2d270c3e823cc55b2842

Authored by totoro
1 parent ace9e448

replace html_wave_box String class_id by List(CoreAttrs) attrs. With that it's a… 

…llow to add more attribute than only html id before
Showing 1 changed file with 24 additions and 15 deletions   Show diff stats
Inline Side-by-side
web/widgets/css_helper.anubis
  Show/Hide comments   View file @81e70bc
@@ -18,10 +18,10 @@ public define HTML_Partial_Content @@ -18,10 +18,10 @@ public define HTML_Partial_Content
18 ( 18 (
19 String legend, 19 String legend,
20 HTML_Partial_Content content, 20 HTML_Partial_Content content,
21 - String class_id 21 + List(CoreAttrs) attrs
22 )= 22 )=
23 partial_content([], 23 partial_content([],
24 - div([class(class_id)], 24 + div(attrs,
25 sequence( 25 sequence(
26 [ 26 [
27 text([class("frame_wave")], legend), //legend 27 text([class("frame_wave")], legend), //legend
@@ -31,12 +31,12 @@ public define HTML_Partial_Content @@ -31,12 +31,12 @@ public define HTML_Partial_Content
31 public define HTML_Partial_Content 31 public define HTML_Partial_Content
32 html_wave_box 32 html_wave_box
33 ( 33 (
34 - String legend,  
35 - HTML_Off_Form content,  
36 - String class_id 34 + String legend,
  35 + HTML_Off_Form content,
  36 + List(CoreAttrs) attrs
37 )= 37 )=
38 partial_content([], 38 partial_content([],
39 - div([class(class_id)], 39 + div(attrs,
40 sequence( 40 sequence(
41 [ 41 [
42 text([class("frame_wave")], legend), //legend 42 text([class("frame_wave")], legend), //legend
@@ -46,11 +46,11 @@ public define HTML_Partial_Content @@ -46,11 +46,11 @@ public define HTML_Partial_Content
46 public define HTML_Off_Form 46 public define HTML_Off_Form
47 html_wave_box 47 html_wave_box
48 ( 48 (
49 - String legend,  
50 - HTML_Off_Form content,  
51 - String class_id 49 + String legend,
  50 + HTML_Off_Form content,
  51 + List(CoreAttrs) attrs
52 )= 52 )=
53 - div([class(class_id)], 53 + div(attrs,
54 sequence( 54 sequence(
55 [ 55 [
56 text([class("frame_wave")], legend), //legend 56 text([class("frame_wave")], legend), //legend
@@ -63,7 +63,7 @@ public define HTML_Off_Form @@ -63,7 +63,7 @@ public define HTML_Off_Form
63 String legend, 63 String legend,
64 HTML_Off_Form content 64 HTML_Off_Form content
65 )= 65 )=
66 - html_wave_box(legend, content, "frame"). 66 + html_wave_box(legend, content, [class("frame")]).
67 67
68 public define HTML_Partial_Content 68 public define HTML_Partial_Content
69 html_wave_box 69 html_wave_box
@@ -71,15 +71,24 @@ public define HTML_Partial_Content @@ -71,15 +71,24 @@ public define HTML_Partial_Content
71 String legend, 71 String legend,
72 HTML_Partial_Content content 72 HTML_Partial_Content content
73 )= 73 )=
74 - html_wave_box(legend, content, "frame"). 74 + html_wave_box(legend, content, [class("frame")]).
75 75
76 public define HTML_Partial_Content 76 public define HTML_Partial_Content
77 html_wave_box 77 html_wave_box
78 ( 78 (
  79 + String legend,
  80 + List(CoreAttrs) attrs,
  81 + HTML_Partial_Content content
  82 + )=
  83 + html_wave_box(legend, content, [class("frame")]+attrs).
  84 +
  85 +public define HTML_Partial_Content
  86 + html_wave_box
  87 + (
79 String legend, 88 String legend,
80 HTML_Off_Form content 89 HTML_Off_Form content
81 )= 90 )=
82 - html_wave_box(legend, content, "frame"). 91 + html_wave_box(legend, content, [class("frame")]).
83 92
84 public define HTML_Off_Form 93 public define HTML_Off_Form
85 html_wave_box_custom_size 94 html_wave_box_custom_size
@@ -101,7 +110,7 @@ public define HTML_Off_Form @@ -101,7 +110,7 @@ public define HTML_Off_Form
101 String legend, 110 String legend,
102 HTML_Off_Form content 111 HTML_Off_Form content
103 )= 112 )=
104 - html_wave_box(legend, content, "frame wide"). 113 + html_wave_box(legend, content, [class("frame wide")]).
105 114
106 public define HTML_Partial_Content 115 public define HTML_Partial_Content
107 html_wave_box_wide 116 html_wave_box_wide
@@ -109,7 +118,7 @@ public define HTML_Partial_Content @@ -109,7 +118,7 @@ public define HTML_Partial_Content
109 String legend, 118 String legend,
110 HTML_Partial_Content content 119 HTML_Partial_Content content
111 )= 120 )=
112 - html_wave_box(legend, content, "frame wide"). 121 + html_wave_box(legend, content, [class("frame wide")]).
113 122
114 /**** CHANGELIST ****/ 123 /**** CHANGELIST ****/
115 public type ChangeListItem: 124 public type ChangeListItem: