# HG changeset patch
# User souliane <souliane@mailoo.org>
# Date 1396347271 -7200
# Node ID 0c45475876378bddb8a42417d56a5ea67901f892
# Parent  b5b440e6ea160b74015201aa678dd522c96ec58b
browser_side (xmlui): implement the divider styles

diff -r b5b440e6ea16 -r 0c4547587637 browser_side/xmlui.py
--- a/browser_side/xmlui.py	Mon Mar 31 12:26:20 2014 +0200
+++ b/browser_side/xmlui.py	Tue Apr 01 12:14:31 2014 +0200
@@ -63,7 +63,18 @@
 class DividerWidget(xmlui.DividerWidget, HTML):
 
     def __init__(self, parent, style='line'):
-        HTML.__init__(self, "<hr/>") # gof: TODO:
+        """Add a divider
+
+        @param parent
+        @param style (string): one of:
+                               - line: a simple line
+                               - dot: a line of dots
+                               - dash: a line of dashes
+                               - plain: a full thick line
+                               - blank: a blank line/space
+        """
+        HTML.__init__(self, "<hr/>")
+        self.addStyleName(style)
 
 
 class StringWidget(xmlui.StringWidget, TextBox):
diff -r b5b440e6ea16 -r 0c4547587637 public/libervia.css
--- a/public/libervia.css	Mon Mar 31 12:26:20 2014 +0200
+++ b/public/libervia.css	Tue Apr 01 12:14:31 2014 +0200
@@ -1530,3 +1530,29 @@
 .AdvancedListSelectable tr:hover{
     background: none repeat scroll 0 0 #EE0000;
 }
+
+.line hr {
+
+}
+
+.dot hr {
+    height: 0px;
+    border-top: 1px dotted;
+    border-bottom: 0px;
+}
+
+.dash hr {
+    height: 0px;
+    border-top: 1px dashed;
+    border-bottom: 0px;
+}
+
+.plain hr {
+    height: 10px;
+    color: black;
+    background-color: black;
+}
+
+.blank hr {
+    border: 0px;
+}