changeset 428:0c4547587637

browser_side (xmlui): implement the divider styles
author souliane <souliane@mailoo.org>
date Tue, 01 Apr 2014 12:14:31 +0200
parents b5b440e6ea16
children 9283f9e5e5dd
files browser_side/xmlui.py public/libervia.css
diffstat 2 files changed, 38 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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):
--- 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;
+}