Commit faef3f484e930fddc2e5687d77042136bc3155b0
1 parent
dd5292a3
[+] add 2 helpful function:
- first make 1 line into table cell from list of cells - second make 1 column into table cell from list of cells [~] add format in datetime picker
Showing
2 changed files
with
20 additions
and
2 deletions
Show diff stats
web/CXM_making_a_web_site.anubis
| @@ -1423,7 +1423,25 @@ public define HTML_Row(HTML_Off_Form) | @@ -1423,7 +1423,25 @@ public define HTML_Row(HTML_Off_Form) | ||
| 1423 | ) = | 1423 | ) = |
| 1424 | row([],[cell([],content)]). | 1424 | row([],[cell([],content)]). |
| 1425 | 1425 | ||
| 1426 | - | 1426 | +public define HTML_Cell(HTML_Off_Form) |
| 1427 | + cells_to_column_in_cell | ||
| 1428 | + ( | ||
| 1429 | + List(HTML_Cell(HTML_Off_Form)) cells | ||
| 1430 | + )= | ||
| 1431 | + cell( | ||
| 1432 | + table( | ||
| 1433 | + map( (HTML_Cell(HTML_Off_Form) current_cell) |-> row(current_cell), cells) | ||
| 1434 | + )). | ||
| 1435 | + | ||
| 1436 | +public define HTML_Off_Form | ||
| 1437 | + cells_to_line | ||
| 1438 | + ( | ||
| 1439 | + List(HTML_Off_Form) cells | ||
| 1440 | + )= | ||
| 1441 | + table([row( | ||
| 1442 | + map (((HTML_Off_Form) current_cell) |-> cell(current_cell), cells))]) | ||
| 1443 | + . | ||
| 1444 | + | ||
| 1427 | public define HTML_Off_Form | 1445 | public define HTML_Off_Form |
| 1428 | private_download | 1446 | private_download |
| 1429 | ( | 1447 | ( |
web/jQuery/ui-addon/datetimepicker.anubis
| @@ -36,7 +36,7 @@ public define List(HTML_Head_Tag) | @@ -36,7 +36,7 @@ public define List(HTML_Head_Tag) | ||
| 36 | js(js_file("js/jquery/plug-in/datetimepicker/datetimepicker.js")), | 36 | js(js_file("js/jquery/plug-in/datetimepicker/datetimepicker.js")), |
| 37 | js_inline(jquery_ready("// Datetimepicker\n | 37 | js_inline(jquery_ready("// Datetimepicker\n |
| 38 | $('.datepicker').datetimepicker({lang:'"+lang+"',timepicker:false,format:'d/m/Y'}); | 38 | $('.datepicker').datetimepicker({lang:'"+lang+"',timepicker:false,format:'d/m/Y'}); |
| 39 | - $('.datetimepicker').datetimepicker({lang:'"+lang+"'}); | 39 | + $('.datetimepicker').datetimepicker({lang:'"+lang+"',format:'Y-m-d H:i'}); |
| 40 | $('.timepicker').datetimepicker({lang:'"+lang+"',datepicker:false,format:'H:i',step:5}) | 40 | $('.timepicker').datetimepicker({lang:'"+lang+"',datepicker:false,format:'H:i',step:5}) |
| 41 | ")) | 41 | ")) |
| 42 | ] | 42 | ] |